diff --git a/LICENSE b/LICENSE Rocky spade/reason-tools
similarity index 100%
rename from LICENSE
rename to LICENSE Rocky spade/reason-tools