diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2017-12-19 11:34:54 +0100 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2017-12-19 11:34:54 +0100 |
commit | 1bc288591ea4fe3159b7630dcd2b57733d80a2ff (patch) | |
tree | 5d60618694c7863ed8ad3de8ba980098601b9e97 /pkgs/applications | |
parent | 502ebb0ae5b6347efefbaf76c7972408efe45f6f (diff) | |
download | nixlib-1bc288591ea4fe3159b7630dcd2b57733d80a2ff.tar nixlib-1bc288591ea4fe3159b7630dcd2b57733d80a2ff.tar.gz nixlib-1bc288591ea4fe3159b7630dcd2b57733d80a2ff.tar.bz2 nixlib-1bc288591ea4fe3159b7630dcd2b57733d80a2ff.tar.lz nixlib-1bc288591ea4fe3159b7630dcd2b57733d80a2ff.tar.xz nixlib-1bc288591ea4fe3159b7630dcd2b57733d80a2ff.tar.zst nixlib-1bc288591ea4fe3159b7630dcd2b57733d80a2ff.zip |
coqPackages docs: fix typo (and thus manual build)
Diffstat (limited to 'pkgs/applications')
0 files changed, 0 insertions, 0 deletions