Remove CleanTypes (now in Platform)

c8a8caca · Camil Staps · 75ecc6fa · c8a8caca · ee27627e
Verified Commit c8a8caca authored Jul 04, 2018 by Camil Staps 🙂
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 4 deletions

.gitmodules .gitmodules +0 -3

CleanTypes CleanTypes +0 -1

No files found.
--- a/.gitmodules
+++ b/.gitmodules
-[submodule "CleanTypes"]
-	path = CleanTypes
-	url = https://github.com/clean-cloogle/CleanTypes.git
 [submodule "CleanPrettyPrint"]
 	path = CleanPrettyPrint
 	url = https://github.com/clean-cloogle/CleanPrettyPrint.git

--- a/CleanTypes @ ee27627e
+++ b/CleanTypes @ ee27627e
-Subproject commit ee27627ea6924fd439c1b41e10ffb742baa1f6d5