diff options
author | Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2016-07-25 16:53:39 -0400 |
---|---|---|
committer | Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2016-07-25 16:53:39 -0400 |
commit | eec22d00522c7f0438b30f412c5e6bef03842f24 (patch) | |
tree | 47dcf40ff517b80fa812e31119dd14ae925b1bd3 /debian/libaac-tactics-coq.install | |
parent | d4116c6dca453eff2be852593e4a6a32ff1e5fbc (diff) |
Update 0001-Fix-typos.patch
The change was merged upstream (and an error was fixed)
Diffstat (limited to 'debian/libaac-tactics-coq.install')
0 files changed, 0 insertions, 0 deletions