Skip to content
Snippets Groups Projects
user avatar
Andreas Gohr authored
shorter names are more in line with what we already use, makes less
layout problems in the documentation and is easier to type when telling
people about it.
13ce475d
History
Name Last commit Last update
..