diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2019-04-08 12:36:32 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-04-08 12:36:32 -0700 |
| commit | e3317c5ea38f4b4580dbb08a1be06d17110a6b6c (patch) | |
| tree | a49253e072ab47bcc1dd7af2e42dca4be14f7417 /Makefile | |
| parent | ecc839773e948377d83799a525e81fcf81badc65 (diff) | |
Adopt make_spec.lua for lua 5.3 and new number type.
So we don't get `<h2.0>`.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions