diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-08-02 17:28:37 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-08-02 17:28:37 -0400 |
| commit | 3f9bd117b37c9feb9f37a6e9ac84bbb4697f86d3 (patch) | |
| tree | dccc75e711b9c9a05ea3566c3a7af5be139a2016 /LICENSE | |
| parent | b219af5f765fbc789a7f54f50862e6730ae141fd (diff) | |
Improve detection of XML in urweb-mode; small tutorial improvement
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions