diff options
author | Rasmus Dahlberg <rasmus.dahlberg@kau.se> | 2021-10-12 17:43:03 +0200 |
---|---|---|
committer | Rasmus Dahlberg <rasmus.dahlberg@kau.se> | 2021-10-12 17:43:03 +0200 |
commit | 8c10d09289289ddbc349503dac4b0493bf73b2b3 (patch) | |
tree | 4d64c2f28b9dc77fbbafc2d80bd79babcc9ef31a /archive/2021-11-09--meeting-minutes | |
parent | 34746cefa42bb7d4fd1b3d8bace285bd393db7d5 (diff) |
removed comments about partial enforcement
To be re-added at a later time somewhere else. It is not helpful for a
reader that is trying to understand the basic design for the first time.
Spotted by ln5.
Diffstat (limited to 'archive/2021-11-09--meeting-minutes')
0 files changed, 0 insertions, 0 deletions