diff options
| author | Brett Gilio <brettg@gnu.org> | 2020-01-06 01:34:23 -0600 |
|---|---|---|
| committer | Brett Gilio <brettg@gnu.org> | 2020-01-06 21:03:21 -0600 |
| commit | a5727da96aa131604fe1552b8938e3a2998b2745 (patch) | |
| tree | b805d037da588a56e39eae0cef1ee36515643065 /gnu/packages/chez.scm | |
| parent | 1ac40045029aacc2d360f4bd24d716c1306a54e8 (diff) | |
| download | guix-a5727da96aa131604fe1552b8938e3a2998b2745.tar guix-a5727da96aa131604fe1552b8938e3a2998b2745.tar.gz | |
gnu: coq: Reword several comments.
* gnu/packages/coq.scm (coq): Reword several comments to improve readability.
Diffstat (limited to 'gnu/packages/chez.scm')
0 files changed, 0 insertions, 0 deletions