?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Bug fixes for lcs.diff2html; xml.writer
[factor/jcg.git] / basis / ui / gadgets / borders / summary.txt
blob7fd21f34381aa55015779b60ff2488f3caefc4ef
1 Border gadget adds padding around a child
Factor with local modifications