John Benediktsson 4f09d852f3 ui.gadgets.sliders: rename slider-pen-tuple to slider-pen.		2015-07-27 08:41:01 -07:00
..
authors.txt	…
sliders-docs.factor	…
sliders.factor	ui.gadgets.sliders: rename slider-pen-tuple to slider-pen.	2015-07-27 08:41:01 -07:00
summary.txt	…