Benjamin Sago c29170e345 Get the list of file extensions from the Options ... The FileExtensions in the FileName is now a reference to the one in the original FileStyle, which gets put there in the options module. This allows the extensions to be derived from the user, somehow, in the future when that part’s done.		2017-07-10 14:01:38 +01:00
..
filetype.rs	Get the list of file extensions from the Options	2017-07-10 14:01:38 +01:00
mod.rs	Reify file extensions	2017-07-10 13:31:20 +01:00
sources.rs	It looks like you’re writing a letter	2017-05-07 17:39:01 +01:00