diff options
| author | root <root@turin.home> | 2022-01-30 16:03:39 +0000 |
|---|---|---|
| committer | root <root@turin.home> | 2022-01-30 16:03:39 +0000 |
| commit | de1d25ad25967bffba8179a7b1a7d47d00489820 (patch) | |
| tree | ffa47464b6e128a751d1e0eb6b20f79ad042069f /.gitignore | |
| parent | 00aad0e89fe4f909664817dca33205c80347098d (diff) | |
Makefile, compile html on install
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions