diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-02-26 20:25:09 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-26 20:25:09 +0100 |
| commit | 7902444f38ebb822ff9f674d1bf62581e08672ec (patch) | |
| tree | 9f2d679f0579c9fefdd46d5c5d1b8792b5dd6898 /tools/editor/doc | |
| parent | 8e0dbd1b8e15dc4fb3722f514d2e54bdf2b672d8 (diff) | |
| parent | d0c2015fe11f920874661ec24c518aa36c99b470 (diff) | |
Merge pull request #7834 from hpvb/x11-return-to-cwd-at-exit
X11 return to cwd at exit
Diffstat (limited to 'tools/editor/doc')
0 files changed, 0 insertions, 0 deletions