diff options
author | Simon Van Casteren <simon.van.casteren@gmail.com> | 2019-12-11 13:58:01 +0100 |
---|---|---|
committer | Simon Van Casteren <simonvancasteren@localhost.localdomain> | 2019-12-13 11:46:57 +0100 |
commit | 25b0685cefe772c73562665a4cc8d2d40e5ff600 (patch) | |
tree | d5b3b383267e8f44bb32881b04839623e3becee3 /src/name_js.sml | |
parent | a0efdaf11337df1fb1a5478f9a193a2737b2665b (diff) |
Use elabFile completely instead of rebuilding it partially
Diffstat (limited to 'src/name_js.sml')
0 files changed, 0 insertions, 0 deletions