diff options
author | 2015-05-05 14:03:06 -0400 | |
---|---|---|
committer | 2015-05-05 14:03:06 -0400 | |
commit | e5aa4b8a9c693b390ca372eb21a0265b0a7dc9e6 (patch) | |
tree | d6c030357542336db507cfe1a1637d566f18bd1b /src/core_util.sig | |
parent | 494b3eab2b761352274d5ae0700fbf92995689f3 (diff) |
Treat "style" as starting an expression in urweb-mode
Diffstat (limited to 'src/core_util.sig')
0 files changed, 0 insertions, 0 deletions