diff options
| author | Nick Lewycky | 2018-09-10 14:53:05 -0700 |
|---|---|---|
| committer | Nick Lewycky | 2018-09-19 18:13:23 -0700 |
| commit | a597bb33eb9b3c9d70422d72e89bcbda90896ddb (patch) | |
| tree | ce4983fd4b5a2e3c2a734c08cdf81e156c056f96 /Makefile.dune | |
| parent | df1f5bcd406a87c77601942f21d16555a8f6086e (diff) | |
Move tests in bugs/ to the bugs/closed/.
Diffstat (limited to 'Makefile.dune')
0 files changed, 0 insertions, 0 deletions