diff options
| author | Josh Rahm <rahm@google.com> | 2024-02-11 14:52:20 -0700 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2024-02-11 14:52:20 -0700 |
| commit | a0f290b2e82e1331f4f932042dcdbc7d919a374f (patch) | |
| tree | 66e8c90990a913fd1fc7ee791bbcda71656f5775 /Setup.hs | |
| parent | a4a3ea6b0f14cbd3f19bedf26a40c6ef45868a15 (diff) | |
| download | montis-a0f290b2e82e1331f4f932042dcdbc7d919a374f.tar.gz montis-a0f290b2e82e1331f4f932042dcdbc7d919a374f.tar.bz2 montis-a0f290b2e82e1331f4f932042dcdbc7d919a374f.zip | |
Start making some more changes to harness and add plugin interface.
Diffstat (limited to 'Setup.hs')
0 files changed, 0 insertions, 0 deletions