tastytea 51fbdd3082 Replaced tabbar-ruler with ruler-mode.		2019-05-15 00:28:18 +02:00
..
server	Replaced tabbar-ruler with ruler-mode.	2019-05-15 00:28:18 +02:00