diff options
author | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-11 23:18:37 +0100 |
---|---|---|
committer | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-11 23:18:37 +0100 |
commit | 7d26675b77dd009472944dcefc47601c705f13de (patch) | |
tree | f1d8872bdaea577f48ae89238ca536bf01ee8746 /testing | |
parent | eb133104cbb09b83153f2c311385ca78c15e5409 (diff) |
community/ocamlbuild: add $replaces for backward compatibility
Diffstat (limited to 'testing')
0 files changed, 0 insertions, 0 deletions