Kornel Benko 6c03b1ff74 Revert changes for output format dvi4
This affects commits c0d4805acf97c28a4628dd7309fbd37d4251f070,
                     14fed1df7d9b9b57105e0a20f65194f58c5ba125
                     8e4f656aa79cb1e39a4b8b3fc18b0d4571b8eee4
2013-02-22 12:06:31 +01:00
..