diff options
author | Jonas Smedegaard <dr@jones.dk> | 2024-05-30 22:40:52 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2024-06-04 17:35:42 +0200 |
commit | a611ad2636cfbe5c157fb70b87234dd202f729da (patch) | |
tree | cfcf1c5a141531bb8143f6cc6913df011e37676a /progress | |
parent | 82dacdfae219a77e4a0fa194c642407a583ec5f1 (diff) |
small refinements for theory and 5-star data
Diffstat (limited to 'progress')
0 files changed, 0 insertions, 0 deletions