organise repository a little bit

This commit is contained in:
2024-06-30 00:07:45 +01:00
parent 37653a7c85
commit de087a86d5
13 changed files with 24 additions and 8 deletions

138556
data-sets/seph.sml Normal file

File diff suppressed because one or more lines are too long