Skip to content
GitLab
Explore
Sign in
Register
release-1.1rc2
cee1fb5c
·
usermanual: chapter "preferences and settings" replaces addendum
·
Nov 13, 2012