From 85e7d9a0e37f3c85846cd2f372d892ad7a2720ec Mon Sep 17 00:00:00 2001 From: danielverh Date: Fri, 28 Apr 2017 16:59:12 +0200 Subject: [PATCH] Rename gerritrietveldcollege to gerritrietveldcollege.nl --- .../nl/{gerritrietveldcollege => gerritrietveldcollege.nl} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename lib/domains/nl/{gerritrietveldcollege => gerritrietveldcollege.nl} (100%) diff --git a/lib/domains/nl/gerritrietveldcollege b/lib/domains/nl/gerritrietveldcollege.nl similarity index 100% rename from lib/domains/nl/gerritrietveldcollege rename to lib/domains/nl/gerritrietveldcollege.nl