Commit Graph

4 Commits

Author SHA1 Message Date
Michael Muré
4ef2c11040
repo: finish RepoStorage move 2020-12-08 13:07:51 +01:00
Michael Muré
7f87eb8602
doc: generate concurrently 2020-09-27 21:30:50 +02:00
Michael Muré
26bd1dd110
commands: refactor to avoid globals 2020-06-28 18:26:29 +02:00
Michael Muré
6352d6aa23
generate docs and completion concurrently for a faster "make" 2020-06-14 22:26:47 +02:00