move some machine-specific keyboard settings to their respective profile
authorAmin Bandali <bandali@gnu.org>
Tue, 19 Oct 2021 03:50:30 +0000 (23:50 -0400)
committerAmin Bandali <bandali@gnu.org>
Tue, 19 Oct 2021 03:50:30 +0000 (23:50 -0400)

No differences found