From 96ecc8f1145a905a275eb28c8c658252ffe370ca Mon Sep 17 00:00:00 2001 From: Philippe Dosch <Philippe.Dosch@loria.fr> Date: Sat, 4 Jan 2014 21:21:43 +0100 Subject: [PATCH] Rename main file before spliting --- git.tex => gitmain.tex | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename git.tex => gitmain.tex (100%) diff --git a/git.tex b/gitmain.tex similarity index 100% rename from git.tex rename to gitmain.tex -- GitLab