vern.git
2019-07-23 Jude NCheckpoint commit (pylint support) master
2019-07-05 Jude NInitial push - still in a pretty unusable state.