egra: agg mini clipping bugfix; some fixes in widget rendering (buttons, etc.)
[iv.d.git] / wdiff / 
treea12b3e23d4a52099c3b05cf752be97ad65dcac5b
drwxr-xr-x   ..
-rw-r--r-- 1645 wdiff.d