HomeIsabelle/Phabricator

proper Unix line ending;

Authored by makarius.