Added option to hide decorations with ui.hide_decorations

This commit is contained in:
phildin
2015-04-09 17:50:57 +01:00
parent 2225ae6e97
commit 3c32a119e8
3 changed files with 8 additions and 0 deletions
+1
View File
@@ -0,0 +1 @@
/target/