From 45739715fbdb67c7b1a9726c50ed09c9c7cd8a1d Mon Sep 17 00:00:00 2001 From: Olivier DOSSMANN Date: Tue, 1 Mar 2011 15:16:18 +0100 Subject: [PATCH] Renommage du fichier makefile en GNUmakefile --- makefile => GNUmakefile | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename makefile => GNUmakefile (100%) diff --git a/makefile b/GNUmakefile similarity index 100% rename from makefile rename to GNUmakefile