diff options
author | Dirk Engling <erdgeist@erdgeist.org> | 2022-05-21 13:28:02 +0200 |
---|---|---|
committer | Dirk Engling <erdgeist@erdgeist.org> | 2022-05-21 13:28:02 +0200 |
commit | 5c6df177d40c0473dd51338277892f5576760e6f (patch) | |
tree | 59447c33dbd8b025f606ee772855403b1154b3cc /sample-devlog.fmt | |
parent | f1fa71921bf2dde2896fd6b92d0827d99d5a2554 (diff) |
Tidy up the Makefile
Diffstat (limited to 'sample-devlog.fmt')
0 files changed, 0 insertions, 0 deletions