diff options
author | 2009-02-20 15:24:58 +0100 | |
---|---|---|
committer | 2009-02-20 15:24:58 +0100 | |
commit | 3e278fa6f5b2c304165e081a325ee054db4fed97 (patch) | |
tree | e9d46171758508b3e1f6fe1c6517e14a1ff7026f /debian/coq.dirs.in | |
parent | a426602c408cdf2ec2cc636cc79b9cc68ea238d1 (diff) |
Install CSS for stdlib documentation.
Diffstat (limited to 'debian/coq.dirs.in')
0 files changed, 0 insertions, 0 deletions