diff options
author | drochner <drochner> | 2010-01-15 19:36:24 +0000 |
---|---|---|
committer | drochner <drochner> | 2010-01-15 19:36:24 +0000 |
commit | 31a20cc74d845c0fb4f084bae75976cf39779037 (patch) | |
tree | 18abcf3f0ff441035adc4d5dc1857b7b23f85f76 /lang/coq | |
parent | f358c3f3cf102c9a4df9078899d4958c2a9623df (diff) | |
download | pkgsrc-31a20cc74d845c0fb4f084bae75976cf39779037.tar.gz |
update to 2.28.5
changes: minor UI fixes
Diffstat (limited to 'lang/coq')
0 files changed, 0 insertions, 0 deletions