diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-03-24 12:33:53 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-03-24 12:34:17 -0700 |
| commit | 3c963bf889d260240fbc5367b390c74dd848eb4f (patch) | |
| tree | 99db8fd137399c474126c4dac28ed1fe03736f6f /doc | |
| parent | b9eeb77df552e39148b02c16cbb65e6b1c7a248d (diff) | |
Use cabal for 'make bench'.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions