po1/mrclient
Public repository.
Javacomplete is a plugin for vim for java completion.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Public repository.
A Vim plugin which shows a git diff in the gutter (sign column) and stages/reverts hunks.
Public repository.
A tool to play pre-recorded motions on a robot using ros_control