diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-02-11 23:02:22 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-02-11 23:02:22 +0100 |
| commit | 1448f97b5119f0cd163ce745c04601d0be45458b (patch) | |
| tree | 37fb77382bc1e1f6539dfc18f87c23956e1b2192 /.gitignore | |
| parent | 357dbc02352d1efa078f50f9405f3ee7890dc735 (diff) | |
keep the const though, that was an improvement
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions