diff options
author | Marco Perone <pasafama@gmail.com> | 2019-07-31 16:46:47 +0200 |
---|---|---|
committer | Marco Perone <pasafama@gmail.com> | 2019-08-06 09:10:46 +0200 |
commit | 8a02fa477f7ae58061f5d53060dc9f36f1e53d2a (patch) | |
tree | d1c59f5c047d723b0fd016562c2359b269ba4e46 /doc/languages-frameworks | |
parent | c0a8580822b89b88e72c530cb706b28d08ee6cbb (diff) | |
download | nixlib-8a02fa477f7ae58061f5d53060dc9f36f1e53d2a.tar nixlib-8a02fa477f7ae58061f5d53060dc9f36f1e53d2a.tar.gz nixlib-8a02fa477f7ae58061f5d53060dc9f36f1e53d2a.tar.bz2 nixlib-8a02fa477f7ae58061f5d53060dc9f36f1e53d2a.tar.lz nixlib-8a02fa477f7ae58061f5d53060dc9f36f1e53d2a.tar.xz nixlib-8a02fa477f7ae58061f5d53060dc9f36f1e53d2a.tar.zst nixlib-8a02fa477f7ae58061f5d53060dc9f36f1e53d2a.zip |
build-idris-package: add options for idris commands
Diffstat (limited to 'doc/languages-frameworks')
0 files changed, 0 insertions, 0 deletions