diff options
author | Jonas Smedegaard <dr@jones.dk> | 2024-05-29 06:31:05 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2024-06-04 17:35:42 +0200 |
commit | 6127307d0e41086b9525f24c89bf926fead8cd22 (patch) | |
tree | 23c9a481de6f81b265e9de15edddfc967b36c691 /ex | |
parent | ba9f1d0acde270751cecf0a60c0b3d3ff2192dde (diff) |
add subsection on theories related to 5-star data
Diffstat (limited to 'ex')
0 files changed, 0 insertions, 0 deletions