diff options
| author | Devin J. Pohly <djpohly@gmail.com> | 2021-04-15 13:03:21 -0500 |
|---|---|---|
| committer | Devin J. Pohly <djpohly@gmail.com> | 2021-04-15 13:03:21 -0500 |
| commit | 6a0dec69ec47ed8143f13016e629e5502d6339a2 (patch) | |
| tree | 5dcd6d04536a2209615fbb5c5f44d3c2a2e440a4 /.gitignore | |
| parent | 9071ce6c848ce214939fb84f85ae77de86de88d7 (diff) | |
re-compile if config.mk changes
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions