view .hgtags @ 321:bfbd9d6eb901

browser_side: info dialog to let the user know that a refresh is needed after GUI parameters have been changed
author souliane <souliane@mailoo.org>
date Fri, 03 Jan 2014 22:43:44 +0100
parents 3a2ee1caf106
children 87e1194e55d6
line wrap: on
line source

12e889a683ce07bfdb66ca3952c93fd97329d70c SàT v0.2.0
732ed69ffe11a5116dc9f8e0b084d47cc3f5a658 SàT v0.3.0