diff options
| author | defanor <defanor@uberspace.net> | 2017-11-05 07:55:04 +0300 |
|---|---|---|
| committer | defanor <defanor@uberspace.net> | 2017-11-05 07:55:04 +0300 |
| commit | 8f9c51474f8cad8cd2337f9231d95fd8e7f7e258 (patch) | |
| tree | e0dcfc3e32deb6df7ce066997e7088c906085ac9 /Pancake/Configuration.hs | |
| parent | 7488196f36824184e2e9088ed9984a189a87cffa (diff) | |
Allow to set document types explicitly
Diffstat (limited to 'Pancake/Configuration.hs')
0 files changed, 0 insertions, 0 deletions