diff plugin_customization.ini @ 32:d7a43156a79b default tip

new tabs
author dwinter
date Mon, 10 Oct 2011 17:52:22 +0200
parents 6e7bb3467531
children
line wrap: on
line diff