diff options
Diffstat (limited to 'JettyTempCleaner/src/site/apt/index.apt')
| -rw-r--r-- | JettyTempCleaner/src/site/apt/index.apt | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/JettyTempCleaner/src/site/apt/index.apt b/JettyTempCleaner/src/site/apt/index.apt new file mode 100644 index 00000000..d60219dc --- /dev/null +++ b/JettyTempCleaner/src/site/apt/index.apt @@ -0,0 +1,12 @@ + --- + 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. |