diff options
author | Benjamin Barenblat <bbaren@debian.org> | 2018-12-29 15:17:22 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@debian.org> | 2019-01-03 18:24:43 -0500 |
commit | e657698c556b84d24e9a87fed0c49d3cb08d5093 (patch) | |
tree | 1904049f81c0f93241198327631bc98f0c51eaff /stm/stm.mli | |
parent | a946e9959296cedf2540622c1b332a3ccbee4009 (diff) |
Update coqdoc.sty installation path
https://github.com/coq/coq/commit/5b506165097047aa8b6b431db9f2cbc8dbf6c3de
corrected the installation path in upstream’s build process.
Diffstat (limited to 'stm/stm.mli')
0 files changed, 0 insertions, 0 deletions