Skip to content

First working version of command line utility

miguelmarco requested to merge command_line into master

This MR implements the basic functionalities of a command line tool.

The documentation about how to integrate different editors isn't done yet because:

  • I only have access to a limited number of editors
  • I am not sure where should it go. Probably would be better to add it once we have a proper documentation infrastructure.

Merge request reports