diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2020-01-10 14:49:05 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2020-01-10 14:49:05 -0500 |
| commit | 0bb63dca9409308491070d94a0436ad73f81b9e0 (patch) | |
| tree | 75735498de69779c564cabfb7705837e9b69553b /src/elab_err.sml | |
| parent | 7dc460aece761171338fe61f1a6d601e3d0b6e62 (diff) | |
At compile time, allow '#' as a URL
Diffstat (limited to 'src/elab_err.sml')
0 files changed, 0 insertions, 0 deletions