Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Improve history browsing |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
b5815e53f65e81aa38def4dd595b432f |
| User & Date: | bernd 2020-02-04 21:35:10.309 |
Context
|
2020-02-06
| ||
| 12:37 | Bump version number check-in: 8981ab964e user: bernd tags: trunk, 0.9.7-20200206 | |
|
2020-02-04
| ||
| 21:35 | Improve history browsing check-in: b5815e53f6 user: bernd tags: trunk | |
|
2020-02-03
| ||
| 18:16 | Clean up nick\! check-in: 8fca31bb94 user: bernd tags: trunk | |
Changes
Changes to gui.fs.