Difference between revisions of "Links"

From Peter Suber
Jump to navigation Jump to search
Line 40: Line 40:
 
* [http://www.textfixer.com/tools/remove-line-breaks.php Line break removal tool]
 
* [http://www.textfixer.com/tools/remove-line-breaks.php Line break removal tool]
 
<!-- </div> -->
 
<!-- </div> -->
 +
 +
 +
Also see the [https://docs.google.com/document/d/1KD0OKCqhSoA6qCyXqZgHTtuAFF3V5WJw_p54mw2Tc_4/edit# gdoc version] of this page, not necessarily in sync.

Revision as of 11:30, 23 July 2016