tim h 9a21d4f786 tweak to overmask """formula""", updates it for fancy new slider ... Former-commit-id: 9ecd7c40e154270e66eb36677f64656cc616cdb0		2022-11-24 00:02:04 -06:00
..
tool	tweak to overmask """formula""", updates it for fancy new slider	2022-11-24 00:02:04 -06:00
history.js	well, that was painful	2022-11-23 19:06:59 -03:00
toolbar.js	tweak to overmask """formula""", updates it for fancy new slider	2022-11-24 00:02:04 -06:00