site/Essays1743.ttf @ a89fb121c18d
Add option to close gundo on revert.
| author | Paulo Koch <paulo.koch@gmail.com> |
|---|---|
| date | Thu, 05 May 2011 02:54:44 +0100 |
| parents | 3b62444465bb |
| children | (none) |
Add option to close gundo on revert.
| author | Paulo Koch <paulo.koch@gmail.com> |
|---|---|
| date | Thu, 05 May 2011 02:54:44 +0100 |
| parents | 3b62444465bb |
| children | (none) |