diff --git a/.gitignore b/.gitignore index 10af706..a260071 100644 --- a/.gitignore +++ b/.gitignore @@ -18,4 +18,5 @@ hs_err_pid* /.gitignore /inputFiles.lst *.DS_Store -!/lib/nestedvm.jar \ No newline at end of file +!/lib/nestedvm.jar +_acme_tmp* diff --git a/nb-configuration.xml b/nb-configuration.xml index 29f9746..4a4218e 100644 --- a/nb-configuration.xml +++ b/nb-configuration.xml @@ -14,5 +14,6 @@ That way multiple projects can share the same settings (useful for formatting ru Any value defined here will override the pom.xml file value but is only applicable to the current project. --> HTML5 + JDK_1.8