David Capello 0429282967 Add options to configure default extension in other commands (fix #1683) ... Maybe too much configuration for my taste, but well, more configuration is good.		2018-03-19 15:53:02 -03:00
..
en.ini	Add options to configure default extension in other commands (fix #1683)	2018-03-19 15:53:02 -03:00