diff clients/editor/plugins/HistoryManager.py @ 337:f9aca52c7c45

VFS: * Emit warning for upper case filenames. Fixes #122.
author phoku@33b003aa-7bff-0310-803a-e67f0ece8222
date Mon, 24 Aug 2009 16:06:30 +0000
parents e2ac8bb1a22c
children 8b125ec749d7
line wrap: on
line diff