diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2019-10-28 14:01:44 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-10-28 14:01:44 +0100 |
| commit | cc53cf26628a0433e6edd157c87edab340cdd013 (patch) | |
| tree | b7e795b52a96cab17d2e3478e01d026a631efd46 /GNUmakefile | |
| parent | bd761d879a95872f82e6d8f893634a61e122a938 (diff) | |
Improve formatting
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions