diff options
| author | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2006-06-08 22:37:38 +0000 |
|---|---|---|
| committer | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2006-06-08 22:37:38 +0000 |
| commit | 5b55193a4263464efd71279dddf57a1a14dd22e4 (patch) | |
| tree | ce99b049921361871e7368b2c767ef07c678f424 /Usage_en.txt | |
| parent | 6f7bac545f3a39d0f73b77a84d104647d20c4b6d (diff) | |
Do environment checkpointing and log cleanups on save. This should prevent log file proliferation (previous commit [192] only cleaned up the logfiles on quit)
Diffstat (limited to 'Usage_en.txt')
0 files changed, 0 insertions, 0 deletions