summaryrefslogtreecommitdiff
path: root/JettyTempCleaner/src/site/apt
diff options
context:
space:
mode:
authorTobias Kellner <tobias.kellner@iaik.tugraz.at>2016-03-31 13:32:52 +0200
committerTobias Kellner <tobias.kellner@iaik.tugraz.at>2016-03-31 13:36:42 +0200
commitd461df21260cc8d5dbc07c1015a24eb41f31fc99 (patch)
tree644af51e0af854172ffea544799e0aa7b456b21d /JettyTempCleaner/src/site/apt
parent1209004fcf681f1b3cf1272458f7ee3110fde961 (diff)
downloadmocca-d461df21260cc8d5dbc07c1015a24eb41f31fc99.tar.gz
mocca-d461df21260cc8d5dbc07c1015a24eb41f31fc99.tar.bz2
mocca-d461df21260cc8d5dbc07c1015a24eb41f31fc99.zip
Get rid of JettyTempCleaner, simply delete on next start
Diffstat (limited to 'JettyTempCleaner/src/site/apt')
-rw-r--r--JettyTempCleaner/src/site/apt/index.apt12
1 files changed, 0 insertions, 12 deletions
diff --git a/JettyTempCleaner/src/site/apt/index.apt b/JettyTempCleaner/src/site/apt/index.apt
deleted file mode 100644
index d60219dc..00000000
--- a/JettyTempCleaner/src/site/apt/index.apt
+++ /dev/null
@@ -1,12 +0,0 @@
- ---
- About
- ---
- EGIZ
- ---
- 2015
- ---
-
-Jetty Temp Cleaner
-
- This module is used to remove temporary files used by jetty after the execution of MOCCA ended
- under Microsoft Windows, as those files can't be deleted at runtime.