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-07 12:14:45 +02:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2018-07-19 22:16:40 +02:00
2017-10-25 12:16:16 +02:00