parse.php note about using ^D to end output
authorAntoine Musso <hashar@free.fr>
Tue, 3 Jul 2012 12:04:52 +0000 (14:04 +0200)
committerAntoine Musso <hashar@free.fr>
Tue, 3 Jul 2012 12:04:52 +0000 (14:04 +0200)
commit1fc2bb9b0ecab78b26a600ad36139d30493f480a
tree6ac86b23bba7d087c9a7c9f45d2cfdbfe93e8063
parentd07638116597c8f9c9ddde90a278f48bc60428c8
parse.php note about using ^D to end output

Change-Id: I8ddc6b565044038ba1660dcd3a5942f82420ca9a
maintenance/parse.php