diff src/tools/config.py @ 1847:d8c6c55aafd7

plugin text syntaxes: fixed defaut syntax handling
author Goffi <goffi@goffi.org>
date Thu, 18 Feb 2016 15:41:47 +0100
parents 5b8a859d5bb4
children ac2ac7fe8a9b
line wrap: on
line diff