mirror of
https://github.com/jgm/pandoc.git
synced 2026-10-30 18:24:28 +08:00
doc should be reserved for actual documents, I think. @tarleb - will this cause a problem?
doc should be reserved for actual documents, I think. @tarleb - will this cause a problem?