diff options
author | John MacFarlane <jgm@berkeley.edu> | 2017-09-16 22:47:49 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-09-16 22:47:49 -0700 |
commit | 9add71365489cf21c07221e86f5705c6494c1efb (patch) | |
tree | 30eef26d9a013e8a99e420992c258f7b1418092a | |
parent | 86730f49bed89a8068f406266790303f07b0ae71 (diff) | |
download | pandoc-9add71365489cf21c07221e86f5705c6494c1efb.tar.gz |
Moved ldoc.ltp from doc to tools.
doc should be reserved for actual documents, I think.
@tarleb - will this cause a problem?
-rw-r--r-- | tools/ldoc.ltp (renamed from doc/ldoc.ltp) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/ldoc.ltp b/tools/ldoc.ltp index 3fa96bb0f..3fa96bb0f 100644 --- a/doc/ldoc.ltp +++ b/tools/ldoc.ltp |