diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-03-04 11:47:22 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-03-04 11:47:22 +0100 |
| commit | 6cc516427b06f1fd1a72ee1b75da909e1ed38166 (patch) | |
| tree | d1329c6f8a5cb3aeed9fdad1b57db56c30bde09b /contrib/Makefile.am | |
| parent | a3013d9e3d26daf9f5df39046c6a9bc0dc45603b (diff) | |
minor code clean up, renaming for consistency
Diffstat (limited to 'contrib/Makefile.am')
0 files changed, 0 insertions, 0 deletions