From 3d0f6f8eea53643d231c3605fbe39586eaeb77fd Mon Sep 17 00:00:00 2001 From: =?utf8?q?Rafa=C5=82=20D=C5=82ugo=C5=82=C4=99cki?= Date: Sun, 7 Jul 2013 21:48:24 +0200 Subject: [PATCH] Moved repeated genint1.h files to the global directory. --- src/{int => global}/genint1.h | 0 src/{head/genint1.h => global/head_genint1.h} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename src/{int => global}/genint1.h (100%) rename src/{head/genint1.h => global/head_genint1.h} (100%) diff --git a/src/int/genint1.h b/src/global/genint1.h similarity index 100% rename from src/int/genint1.h rename to src/global/genint1.h diff --git a/src/head/genint1.h b/src/global/head_genint1.h similarity index 100% rename from src/head/genint1.h rename to src/global/head_genint1.h -- 2.30.2