diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-02-19 22:03:44 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-02-19 22:04:11 +0100 |
commit | 900be977ae9c2413bad071458afe500b3cb96cd4 (patch) | |
tree | 09a662c638b7194db6667e909d8a528f4bc6be9b /gnu/packages/idris.scm | |
parent | 27a2c9c3e071fdb380c2f4f389b7cf4008dc75f7 (diff) | |
download | guix-patches-900be977ae9c2413bad071458afe500b3cb96cd4.tar guix-patches-900be977ae9c2413bad071458afe500b3cb96cd4.tar.gz |
tests: Remove outdated comment.
* gnu/tests/base.scm (run-basic-test): Remove outdated comment.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions