diff options
| author | Brett Gilio <brettg@gnu.org> | 2020-01-07 13:03:07 -0600 |
|---|---|---|
| committer | Brett Gilio <brettg@gnu.org> | 2020-01-07 13:03:07 -0600 |
| commit | 3c9e86ae8bf09d993e2e7a4ecb43d80da8fabb99 (patch) | |
| tree | 51691e0239201960ca43dc90791a8b3b467dbe3b /etc/guix-publish.conf.in | |
| parent | d2884b7feff849bc969503dea2a6e8052fc139a6 (diff) | |
| download | guix-3c9e86ae8bf09d993e2e7a4ecb43d80da8fabb99.tar guix-3c9e86ae8bf09d993e2e7a4ecb43d80da8fabb99.tar.gz | |
gnu: coq-stdpp: Reword comment.
* gnu/packages/coq.scm (coq-stdpp)[arguments]: Reword comment about tests
being executed during build phase, to read more fluently.
Diffstat (limited to 'etc/guix-publish.conf.in')
0 files changed, 0 insertions, 0 deletions