summaryrefslogtreecommitdiff
path: root/system
AgeCommit message (Expand)Author
2020-02-28adjust initial header for nicer computed titleJonas Smedegaard
2017-06-19Add system/ideals.Jonas Smedegaard