diff options
author | Mathieu Othacehe <m.othacehe@gmail.com> | 2019-01-06 11:04:14 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-17 14:04:27 +0100 |
commit | ebb36deccc84b1d4414a2b54a3e1df7e7ba94cff (patch) | |
tree | 7d50a2b5946e828e79caac54aa41199ee04021fb /gnu/packages/gps.scm | |
parent | f297c213a1b8a364f60c1de825761f1d9ad7eb5e (diff) | |
download | patches-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