ninja-ide/ninja-ide — pull request #207 by diegosarmentero (2012-01-18 16:25:00+00:00)
Title: Fixing quotes managment in preferences.py

Fixing quotes managment in preferences.py