diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2021-03-03 19:18:30 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2021-03-03 19:18:30 +0100 |
| commit | f5654d2de6e3b3e0b7f2f7dc230476197dfd7680 (patch) | |
| tree | 539721ced871c86f0bd7bbd98facc5bf973f1921 /Makefile | |
| parent | b1e3b3e23d91e460a82b8f63aa6614b322f296fa (diff) | |
| download | ekdosis-f5654d2de6e3b3e0b7f2f7dc230476197dfd7680.tar.gz | |
added new general hook 'lemmastyle'
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions