New shell script to modify user preferences
Description
Description
Details
Details
- Provenance
Thomas Bruederli Authored on Nov 19 2012, 3:43 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:de1040731b1c: Properly add author name from gettext files
- Branches
- Unknown
- Tags