Bálint Kovács 8f588fa8bc Fix crashes when opening extensionless files. (#503)
* Set extension to an empty string when there's none
2019-07-05 23:35:41 -03:00
..
2019-06-03 02:28:26 +02:00
2019-06-03 02:28:26 +02:00