diff options
| author | KC Sivaramakrishnan <kc@kcsrk.info> | 2019-06-26 11:51:23 +0530 |
|---|---|---|
| committer | KC Sivaramakrishnan <kc@kcsrk.info> | 2019-08-23 09:50:05 +0530 |
| commit | a84b20e6013513bbbb985869e16bd7b9967827ac (patch) | |
| tree | 78bfd608840699b2a56f94d16feaa17565c7addb /Changes | |
| parent | 8721dc4e896d80cc389be30e3862c317b91975dc (diff) | |
| download | ocaml-a84b20e6013513bbbb985869e16bd7b9967827ac.tar.gz | |
Remove unnecessary prerequite from make rule for domainstate.mli
Diffstat (limited to 'Changes')
0 files changed, 0 insertions, 0 deletions