diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-04-02 23:10:10 +0200 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-04-02 23:10:10 +0200 |
| commit | ff991d1e2151479ff7dc15aba9c17251ff060408 (patch) | |
| tree | 292d10f7232ef50c604763f2817476791af5c856 /.github | |
| parent | 913db947a9cb43b6f449db2cd4c85fd74aa1ac8f (diff) | |
Revert "Revert "Use file-embed instead of hsb2hs to embed data files.""
This reverts commit 1fa15c225b515e1fa1c6566f90f1be363a4d770f.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions