Juergen Spitzmueller 7efdf98fc8 Further extend Info insets:
* Add time type (time, modtime, fixtime)
* Add "name-noext" buffer type (file name w/o extension)
2018-08-07 12:14:45 +02:00
..
2018-08-05 10:01:36 +02:00
2018-08-07 12:14:45 +02:00