diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-10-14 00:01:59 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-10-14 00:01:59 +0200 |
| commit | b5f5956ee23a40a8bde6b1a9622d201501cad816 (patch) | |
| tree | b164025d93244502e695c9ac1a2040ca5bfc39fd /m4 | |
| parent | fca44ed626b6cbc1aac75d7ad113abf7aad4d8a6 (diff) | |
fix geq, needs{}
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions