diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2019-03-16 14:57:25 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2019-03-16 14:57:25 -0400 |
| commit | 18d42a0f0829132803a8c508e1d1cc797c6dbbde (patch) | |
| tree | da17148b671d68916ddd3b9c58d4f36ab965b381 /include | |
| parent | 43666c47b550904e5573e28fab6ba9d2c51ddcd3 (diff) | |
Allow dollar-sign shortcuts for 'file' and 'jsFile' directives
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions