diff options
| author | joey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071> | 2007-09-22 18:31:52 +0000 |
|---|---|---|
| committer | joey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071> | 2007-09-22 18:31:52 +0000 |
| commit | f9f38ae31c239ce2f44ea0ed2984295aac09ead3 (patch) | |
| tree | 0c954a83a9f2f2b077f7ded3d50b6bc484f49d91 /doc/users | |
| parent | 811b8726dbd6e274f969738c4e19f0b3dc3dae92 (diff) | |
* Save index after previewing page edit, since even previewing can create
files in some situations, and this is appropriate in some cases, such as
the teximg plugin's error log file.
Such files will be automatically cleaned up at an appopriate later time.
Diffstat (limited to 'doc/users')
0 files changed, 0 insertions, 0 deletions