aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/gps.scm
diff options
context:
space:
mode:
authorMathieu Othacehe <m.othacehe@gmail.com>2019-01-06 11:04:14 +0100
committerLudovic Courtès <ludo@gnu.org>2019-01-17 14:04:27 +0100
commitebb36deccc84b1d4414a2b54a3e1df7e7ba94cff (patch)
tree7d50a2b5946e828e79caac54aa41199ee04021fb /gnu/packages/gps.scm
parentf297c213a1b8a364f60c1de825761f1d9ad7eb5e (diff)
downloadpatches-ebb36deccc84b1d4414a2b54a3e1df7e7ba94cff.tar
patches-ebb36deccc84b1d4414a2b54a3e1df7e7ba94cff.tar.gz
installer: Rename "Ok" buttons to "OK".
* gnu/installer/newt/page.scm: s/Ok/OK/. * gnu/installer/newt/partition.scm: Ditto. * gnu/installer/newt/user.scm: Ditto.
Diffstat (limited to 'gnu/packages/gps.scm')
0 files changed, 0 insertions, 0 deletions