]> gitweb.factorcode.org Git - factor.git/blob - extra/ui/gadgets/borders/summary.txt
Initial import
[factor.git] / extra / ui / gadgets / borders / summary.txt
1 Border gadget adds padding around a child