Techlive Zheng 523909d7f7 Move navigation panel into history plugin ... Resolve #700541		2013-05-27 09:21:26 +02:00
..
diff	Clean up 'plugins/diff/icons/Makefile'	2013-05-27 09:21:26 +02:00
files	Only update panels when mapped	2013-03-01 16:11:53 +01:00
history	Move navigation panel into history plugin	2013-05-27 09:21:26 +02:00
Makefile.am	Remove dash from autotools	2013-03-01 13:05:05 +01:00