Timeline
Parents and children of check-in [80ca7a6731]
2016-12-31
| ||
14:14 | Fetch meta["title"] instead of ["id"] for About dialog check-in: 576bac1d25 user: mario tags: trunk | |
14:14 | Apply new options right when installing plugins. check-in: 80ca7a6731 user: mario tags: trunk | |
13:45 | Option `file_browser_converttourl` check-in: 70b35b914f user: mario tags: trunk | |