Moved ldoc.ltp from doc to tools.
doc should be reserved for actual documents, I think.
@tarleb - will this cause a problem?
commit9add71365489cf21c07221e86f5705c6494c1efb
authorJohn MacFarlane <jgm@berkeley.edu>
dateSat 16 Sep 2017, 22:47 (9 years ago)
parent86730f4
doc/ldoc.ltp → tools/ldoc.ltprenamed
The content is the same.