Check-in [347dd4d1f3]
Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Add ?fetch-pks to GUI stuff
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 347dd4d1f3d565a7128e0b95426dadc6161a516b
User & Date: bernd 2020-02-26 22:30:12.699
Context
2020-02-27
12:26
Bump version number check-in: 4ecf9f79f5 user: bernd tags: trunk, 0.9.7-20200227
2020-02-26
22:30
Add ?fetch-pks to GUI stuff check-in: 347dd4d1f3 user: bernd tags: trunk
2020-02-25
23:49
Fix way overcomplicated write-groups check-in: 87d74c78da user: bernd tags: trunk
Changes
Unified Diff Side-by-Side Diff Patch
Changes to gui.fs.