diff options
author | 2007-03-18 12:23:49 +0000 | |
---|---|---|
committer | 2007-03-18 12:23:49 +0000 | |
commit | bdb8dc1aec348577f4e07ac0ab95bd068fbfff0e (patch) | |
tree | 72e7b2a9c1193048a16cd8faf9e582e1edce6c8b /tools/coq-inferior.el | |
parent | 3e049918b485edc6561dee8dd656207f2fc0a19a (diff) |
Use dh_installtex instead of hand-crafted postinst.
Diffstat (limited to 'tools/coq-inferior.el')
0 files changed, 0 insertions, 0 deletions