aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorMaxim Cournoyer <maxim.cournoyer@gmail.com>2019-07-18 07:23:48 +0900
committerMaxim Cournoyer <maxim.cournoyer@gmail.com>2019-09-25 12:18:25 +0900
commit41e03c4beefb4d14ca1f8f9d8739a582c9430893 (patch)
treed0006e2a33f4f57909a0c25db927f3f31dec8b5f /gnu/packages/coq.scm
parent91e633f0430c8c26e6915f79365a49d8a4327c96 (diff)
downloadguix-41e03c4beefb4d14ca1f8f9d8739a582c9430893.tar
guix-41e03c4beefb4d14ca1f8f9d8739a582c9430893.tar.gz
linux-boot: Fix typo.
* gnu/build/linux-boot.scm (mount-root-file-system): Fix typo.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions