diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-11-21 15:48:41 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-11-21 15:51:59 +0100 |
| commit | 2acac532cdc850d3d9e363fee59f91d398893b6b (patch) | |
| tree | 3f0f89017b9e41b925148ca6abdf24335a973a88 /gnu/packages/coq.scm | |
| parent | 09f1c668af6f9a9b1b13e14598a7506be81b9a5d (diff) | |
| download | guix-2acac532cdc850d3d9e363fee59f91d398893b6b.tar.gz | |
nls: Update 'fr' translation of the manual.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions