diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-05-28 14:10:39 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-06-19 18:11:33 +0200 |
| commit | e6b29c024be556362552b6879534e4d372bd8dfd (patch) | |
| tree | d79d309da0c1308ef0ac3ea358175b5e57f857e8 /pkgs/development/python-modules/python-sql | |
| parent | 8def3d69c724b4313fcfd01534054c043a637047 (diff) | |
coq-ssreflect: also build and install the documentation
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions