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
..
2016-06-16 22:05:56 +02:00
2017-10-16 10:03:05 +02:00
2018-01-31 21:13:43 +01:00
2018-01-24 01:04:14 +01:00
2018-08-07 12:14:45 +02:00
2018-02-23 08:58:16 +01:00
2018-01-31 21:13:43 +01:00