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/services | |
| parent | 9e39ac415d01312facd0202a8f7225795a6a787a (diff) | |
| download | patches-7cc98473241c927a726454f31e3cd98c5742a12f.tar patches-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/services')
0 files changed, 0 insertions, 0 deletions