lyx_mirror/development
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
..
2015-10-01 22:06:01 +01:00
2011-04-03 13:38:05 +00:00
2010-02-18 09:58:20 +00:00
2018-05-06 15:29:41 +02:00
2018-08-07 12:14:45 +02:00
2012-06-05 12:22:13 +02:00
2014-12-08 13:15:06 +01:00
2017-11-11 13:24:08 +01:00