Aleksej Saushev
|
a849059e7c
|
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
Mark packages that don't or might probably not have staged installation.
|
2012-09-24 18:26:51 +00:00 |
|
Kamel Ibn Aziz Derouiche
|
cfedd600b1
|
change maintainer move to jihbed.research@gmail.com
|
2010-04-18 15:57:20 +00:00 |
|
Thomas Klausner
|
4c850f93bc
|
Remove obsolete @dirrm lines.
|
2009-10-11 10:44:24 +00:00 |
|
Kamel Ibn Aziz Derouiche
|
56474c77e1
|
Import cspchecker-4 as wip/cspchecker.
CSP code type checker
|
2009-06-17 23:41:41 +00:00 |
|