diff options
| author | Pierre-Marie Pédrot | 2015-02-15 21:02:33 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-02-15 21:15:26 +0100 |
| commit | 6b5bc2ceb986913bf28a08dadb1e4ef01a595a3b (patch) | |
| tree | e28dd5aaf812b28f0043577e0ce3cbaf00bfc53a /stm/asyncTaskQueue.ml | |
| parent | 1d39965a694698c3df238fc424203c6b77b067e7 (diff) | |
CoqIDE now remembers the path of the last opened project.
Fixes bug #2762.
Diffstat (limited to 'stm/asyncTaskQueue.ml')
0 files changed, 0 insertions, 0 deletions