diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-01-19 19:19:10 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-01-19 19:19:20 +0100 |
| commit | cf2e77c929c12f2037c9fd24722f6f27d377cba5 (patch) | |
| tree | 7051aff199cd16561a08f5ac10d88bed2e1d6043 /src/util/Makefile.am | |
| parent | cb58740fbd9805807dba268c65498aaa171f004f (diff) | |
fix section name
Diffstat (limited to 'src/util/Makefile.am')
0 files changed, 0 insertions, 0 deletions