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/getinfo.sml | |
| parent | a0efdaf11337df1fb1a5478f9a193a2737b2665b (diff) | |
Use elabFile completely instead of rebuilding it partially
Diffstat (limited to 'src/getinfo.sml')
0 files changed, 0 insertions, 0 deletions