diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-06-08 17:03:56 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-06-08 17:04:23 +0200 |
| commit | 3cacfa9e1b1e01390628761a4b5fb7463cec8b71 (patch) | |
| tree | 903870cb0af545a3a28d64e36d49ac0d892895cc /gnu/packages/idris.scm | |
| parent | dd8646555a979c563e9890dd1189b4d6a4ed4db7 (diff) | |
| download | guix-3cacfa9e1b1e01390628761a4b5fb7463cec8b71.tar.gz | |
doc: Regenerate *.fr.texi.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions