diff options
| author | Jari Vetoniemi <mailroxas@gmail.com> | 2019-02-25 08:46:01 +0200 |
|---|---|---|
| committer | Jari Vetoniemi <mailroxas@gmail.com> | 2019-02-25 08:46:01 +0200 |
| commit | 64084b6be384e3e6338996ac7d27c688861efde8 (patch) | |
| tree | 4a7796830ecd57ae2dbb81dcd9d1e38b940927c6 | |
| parent | f43277137b513cd39bebce281df679076f5ba1ee (diff) | |
Makefile -> GNUmakefile
We rely on GNU make features.
| -rw-r--r-- | GNUmakefile (renamed from Makefile) | 0 |
1 files changed, 0 insertions, 0 deletions