commit 7f3b8c2a30a473c5bac01fcbdf663957d71bf956 parent 9524d6b3d495571907c93fae6f274b4a3e6e73c2 Author: Christian Grothoff <christian@grothoff.org> Date: Sun, 22 Dec 2019 16:29:27 +0100 follow conventions Diffstat:
| R | GNUmakefile -> Makefile | | | 0 |
1 file changed, 0 insertions(+), 0 deletions(-)
diff --git a/GNUmakefile b/Makefile