diff options
| author | Jakob Kaivo <jkk@ung.org> | 2019-11-20 17:02:33 -0500 |
|---|---|---|
| committer | Jakob Kaivo <jkk@ung.org> | 2019-11-20 17:02:33 -0500 |
| commit | 104b30bcaa04029f91e496affb255db9af7d01ea (patch) | |
| tree | a53e36b6dfc1b93d3db227f1d7b7027a7e76749d /.gitignore | |
| parent | bc4ca8f73ece3cb3d6d3538ea182b078142c65c9 (diff) | |
recompile when header changes
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions