diff --git a/.gitignore b/.gitignore deleted file mode 100644 index 16f84cf6c..000000000 --- a/.gitignore +++ /dev/null @@ -1,32 +0,0 @@ -*.class -target/ -logs - -# Package Files # -*.war -*.ear - -# IntelliJ -.idea/ -*.iml - -# docs -apidocs/ -site/ - -# mac stuff -.DS_Store - -*.log - -# vim -*.swp - -# cantor directories -data/ -default/ -*.db - -# benchmark directories -benchmark-results/ -secrets/ diff --git a/.nojekyll b/.nojekyll new file mode 100644 index 000000000..e69de29bb diff --git a/404.html b/404.html new file mode 100644 index 000000000..a76a955cf --- /dev/null +++ b/404.html @@ -0,0 +1,413 @@ + + + +
+ + + + + + + + + + + + +\n {translation(\"search.result.term.missing\")}: {...missing}\n
\n }\n