proxima-generic Generic part of the Proxima system, to be imported as a git submodule in each editor instance (in $EDITORINSTANCE/src/proxima).