aboutsummaryrefslogtreecommitdiffhomepage
path: root/engine/univNames.mli
Commit message (Expand)AuthorAge
* Split off Universes functions dealing with names.Gravatar Gaƫtan Gilbert2018-05-17