George Marques 0f20d8756e
Fix File.get_as_text() to return the whole file
It was returning only from the cursor forward.
2016-06-21 11:25:03 -03:00
..
2015-11-01 20:53:26 +01:00