diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-03-03 12:52:46 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-03-03 12:52:46 +0100 |
| commit | 013a0bc05f2230b998f3a34f7776efbe014b5fa0 (patch) | |
| tree | 160b6b0b882a03cfa0e21aeea2da18ebb688b57c /gnu/packages/idris.scm | |
| parent | f27de2f90957159407facc8d5da5f8421c165580 (diff) | |
gnu: Add asciidoc-py3.
* gnu/packages/documentation.scm (asciidoc-py3): New variable.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions