diff options
author | Tobias Kellner <tobias.kellner@iaik.tugraz.at> | 2016-03-31 13:32:52 +0200 |
---|---|---|
committer | Tobias Kellner <tobias.kellner@iaik.tugraz.at> | 2016-03-31 13:36:42 +0200 |
commit | d461df21260cc8d5dbc07c1015a24eb41f31fc99 (patch) | |
tree | 644af51e0af854172ffea544799e0aa7b456b21d /JettyTempCleaner/src/site/apt/index.apt | |
parent | 1209004fcf681f1b3cf1272458f7ee3110fde961 (diff) | |
download | mocca-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/index.apt')
-rw-r--r-- | JettyTempCleaner/src/site/apt/index.apt | 12 |
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. |