Juergen Spitzmueller 358436ea1e Split vcs Info inset from buffer Info inset
This should go separately in the GUI, and thus in the inset.
2018-07-29 19:41:34 +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-02-23 08:58:16 +01:00
2018-01-31 21:13:43 +01:00