Compute a stable name for preprocessed files
authorJohannes Schauer <josch@debian.org>
Wed, 21 Dec 2016 23:36:14 +0000 (00:36 +0100)
committerStéphane Glondu <glondu@debian.org>
Tue, 6 Aug 2019 07:27:23 +0000 (09:27 +0200)
commitf483bd812c95d1ee9abf9a7f55eedc435366d717
tree04a5a42256de3004141d416d9e8ad2c356d9184f
parent6c19c73ee888ca018acd52948ad1f907fc197469
Compute a stable name for preprocessed files

Gbp-Pq: Name 0014-Compute-a-stable-name-for-preprocessed-files.patch
driver/pparse.ml