diff options
| author | hallgren <hallgren@chalmers.se> | 2012-11-27 16:03:29 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-11-27 16:03:29 +0000 |
| commit | 351661f427153e987d9c21ad9afb395bef9a02ff (patch) | |
| tree | 9e093c2c916dc69f475dfa53610bc2897242972c /src/example-based/ExampleDemo.hs | |
| parent | 78216222f170cfddeeddb59b0ea942f8ea7f9162 (diff) | |
Convert some documentation to UTF-8
Using
%!encoding:utf-8
in txt2tags files ensures that the generated HTML includes an appropriate
charset declaration. This way we avoid relying on browser defaults, which can
be wrong.
Diffstat (limited to 'src/example-based/ExampleDemo.hs')
0 files changed, 0 insertions, 0 deletions