2012-09-24 20:26:51 by Aleksej Saushev | Files touched by this commit (116) |
Log message: Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days. Mark packages that don't or might probably not have staged installation. |
2010-04-18 17:57:20 by Kamel Derouiche | Files touched by this commit (1) |
Log message: change maintainer move to jihbed.research@gmail.com |
2009-10-11 12:44:25 by Thomas Klausner | Files touched by this commit (267) |
Log message: Remove obsolete @dirrm lines. |
2009-06-18 01:41:41 by Kamel Derouiche | Files touched by this commit (4) | |
Log message: Import cspchecker-4 as wip/cspchecker. CSP code type checker |