diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-03-26 20:48:17 +0200 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-03-26 20:48:17 +0200 |
| commit | 1fa15c225b515e1fa1c6566f90f1be363a4d770f (patch) | |
| tree | 9d0037db4ed5b68e65ba5e55f85e1533e2287d55 /RELEASE-CHECKLIST.md | |
| parent | d0447151cf48d8da5fe251e4d3eb6a4fd0f05490 (diff) | |
Revert "Use file-embed instead of hsb2hs to embed data files."
This reverts commit 10d91c147968d2e4d63b99b5b0342624827f416f.
Diffstat (limited to 'RELEASE-CHECKLIST.md')
0 files changed, 0 insertions, 0 deletions