diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2019-02-13 21:38:22 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2019-02-13 21:40:17 +0100 |
| commit | 57e508d1c13cc95a37cf44ed429d1d0b97ef763d (patch) | |
| tree | beec7c2519f99c3bac98bc4a5f748d4b4cdf352e /gnu/packages/coq.scm | |
| parent | d093f3e4a4dd155969499ac2dc5fdb069a611c75 (diff) | |
| download | patches-57e508d1c13cc95a37cf44ed429d1d0b97ef763d.tar patches-57e508d1c13cc95a37cf44ed429d1d0b97ef763d.tar.gz | |
nls: Update 'de' translation.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions