diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-06-26 23:58:48 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-06-27 00:04:20 +0200 |
| commit | 19e0b66f8780f97f15f0a40a739eb277244750f1 (patch) | |
| tree | 1823f46f36a74e7b54bbc4be4640eef5a95a666d /Makefile.am | |
| parent | 9a69fd81ed1eb5de13509f565947f01de8bdf38c (diff) | |
first steps on #5777
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions