John MacFarlane 30074c12e5 Server: Re-add /batch endpoint. We need it.		2022-08-08 15:17:08 -07:00
..
Main.hs	Rename pandoc-cgi -> pandoc-server.	2022-08-07 21:26:17 -07:00
PandocServer.hs	Server: Re-add /batch endpoint. We need it.	2022-08-08 15:17:08 -07:00