Check-in [45f34d2267]
Not logged in

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

Overview
Comment:Scale down
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 45f34d2267b5f39c8e302b102b18565bd80cdecc
User & Date: bernd 2019-06-04 00:42:13.762
Context
2019-06-04
23:30
A threefish-based approach at vault key storage check-in: ae70f6a3f5 user: bernd tags: trunk
00:42
Scale down check-in: 45f34d2267 user: bernd tags: trunk
2019-05-30
23:51
Add correct group to newly added/blocked users check-in: ada3faa9e3 user: bernd tags: trunk
Changes
Unified Diff Side-by-Side Diff Patch
Changes to gui.fs.