Commit History

Auteur SHA1 Bericht Datum
  Thomas Waldmann 04dfadbbd6 cli: rename r* commands to repo-* 8 maanden geleden
  Thomas Waldmann 8eba627b29 scripts: make.py clean implementation 1 jaar geleden
  Thomas Waldmann 4d424de69e scripts: update docs about make.py 1 jaar geleden
  Thomas Waldmann 59bca06630 scripts: rename gendocs.py to make.py 1 jaar geleden