diff options
| author | Miguel Ángel Arruga Vivas <rosen644835@gmail.com> | 2020-12-12 02:27:58 +0100 |
|---|---|---|
| committer | Miguel Ángel Arruga Vivas <rosen644835@gmail.com> | 2020-12-12 02:27:58 +0100 |
| commit | 6718ce446c3904214697cde8eb666fe86368d034 (patch) | |
| tree | 714dda729e4abc92bd496b148771f4601afb964a /gnu/packages/lean.scm | |
| parent | 482b8ae2cd3f126a1300178e317df8993bf75b16 (diff) | |
news: Add 'es' translation.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions