From 4de1a07324ebc95fe2874f3d42e33b733cfe144f Mon Sep 17 00:00:00 2001 From: Jakob von Raumer Date: Sat, 3 Jan 2015 01:30:33 -0500 Subject: [PATCH] chore(hott/algebra) maybe use only lower case file names --- hott/algebra/category/{Set.hlean => set.hlean} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename hott/algebra/category/{Set.hlean => set.hlean} (100%) diff --git a/hott/algebra/category/Set.hlean b/hott/algebra/category/set.hlean similarity index 100% rename from hott/algebra/category/Set.hlean rename to hott/algebra/category/set.hlean