diff options
| author | Tobias Kellner <tobias.kellner@iaik.tugraz.at> | 2015-10-27 20:16:19 +0100 |
|---|---|---|
| committer | Tobias Kellner <tobias.kellner@iaik.tugraz.at> | 2015-10-28 14:06:01 +0100 |
| commit | 3b853724c7280db23c4170ed86929b9dd6d3050d (patch) | |
| tree | 214ae4b90821a20b8831c3e30c6527af7a2fd77c /JettyTempCleaner/src/site/apt | |
| parent | 0ba96b399d70eac60ece03f4e438125736169d5b (diff) | |
| download | mocca-3b853724c7280db23c4170ed86929b9dd6d3050d.tar.gz mocca-3b853724c7280db23c4170ed86929b9dd6d3050d.tar.bz2 mocca-3b853724c7280db23c4170ed86929b9dd6d3050d.zip | |
Documentation update
Diffstat (limited to 'JettyTempCleaner/src/site/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. |