f4exb d0c2b73d99 Full renaming of FileSource device to FileInput		2019-07-08 00:59:04 +02:00
..
deviceapi.cpp	…
deviceapi.h	…
deviceenumerator.cpp	…
deviceenumerator.h	…
deviceuserargs.cpp	…
deviceuserargs.h	…