diff --git a/build.xml b/build.xml index ade85633255..31e5a827044 100644 --- a/build.xml +++ b/build.xml @@ -323,6 +323,7 @@ + diff --git a/compiler/cli/misc/registry.properties b/compiler/cli/misc/registry.properties new file mode 100644 index 00000000000..0f79c1f6e75 --- /dev/null +++ b/compiler/cli/misc/registry.properties @@ -0,0 +1 @@ +ide.hide.excluded.files=false \ No newline at end of file