diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2017-01-15 12:16:49 +0100 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2017-01-15 12:16:49 +0100 |
commit | 7cc98473241c927a726454f31e3cd98c5742a12f (patch) | |
tree | d3d602f08cfbd4d088ef916021331d5d5c604e24 /gnu/local.mk | |
parent | 9e39ac415d01312facd0202a8f7225795a6a787a (diff) | |
download | guix-7cc98473241c927a726454f31e3cd98c5742a12f.tar guix-7cc98473241c927a726454f31e3cd98c5742a12f.tar.gz |
gnu: tipp10: Adjust phases.
* gnu/packages/education.scm (tipp10)[arguments]: Return #t for
"disable-new-version-check"; fix indentation.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions