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 | 2d778aff9a95c2957e22df27091dc1789489ede0 (patch) | |
| tree | dccc75e711b9c9a05ea3566c3a7af5be139a2016 /configure.ac | |
| parent | bd572fc6e38f48574c8aa67e251ff1c184a6d340 (diff) | |
Improve detection of XML in urweb-mode; small tutorial improvement
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions