Index: compiled.resources |
diff --git a/compiled_resources.json b/compiled.resources |
similarity index 97% |
rename from compiled_resources.json |
rename to compiled.resources |
index 967db2c64c7e2cecd3d16501f10710954faad583..3d37b440dc5af59dd70fd6b3771e98a98e630930 100644 |
--- a/compiled_resources.json |
+++ b/compiled.resources |
@@ -1,3 +1,6 @@ |
+# -*- python -*- |
+# ex: set syntax=python: |
+ |
[ |
{ |
"name": "util", |