]>
2011-07-19 | Ferruccio Guidi | first main property of drop closed | blob | commitdiff | raw |
2011-07-19 | Ferruccio Guidi | - drop_main: bug fix | blob | commitdiff | raw | diff to current |
2011-07-13 | Ferruccio Guidi | - new definition of subst based on drop | blob | commitdiff | raw | diff to current |