diff options
| author | Christian Grothoff <christian@grothoff.org> | 2018-06-05 09:45:43 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2018-06-05 09:45:43 +0200 |
| commit | 09f7c260e7cd3bc0f12ad89e2dcf7d813f4089d8 (patch) | |
| tree | bc4350d1c3852fab1d3653b218ece7a8f62992c6 /m4 | |
| parent | 7661f73f0d6def50830323e420ba7b78e791369a (diff) | |
update gitignore
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions