]>
2006-02-02 | Stefano Zacchiroli | no more multiple configure/Makefile, just one for both... | blob | commitdiff | raw |
2006-01-31 | Enrico Tassi | some makefile work | blob | commitdiff | raw | diff to current |
2005-04-21 | Stefano Zacchiroli | utilities for creating environment dumps | blob | commitdiff | raw | diff to current |