Jakob Unterwurzacher ee5ab1cc29 v2api: rename "File2" to just "File"
Rename the symbols and the files.
2020-08-16 12:50:33 +02:00
..
2019-12-28 19:50:49 +01:00
2019-12-28 19:50:49 +01:00
2017-05-31 08:21:36 +02:00
2020-04-13 14:54:04 +02:00