finer-grained split between packages - the drl plugin is vs-specific at this point
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 12 Jun 2013 07:26:09 +0000 (09:26 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 12 Jun 2013 07:26:09 +0000 (09:26 +0200)
commitd56668d7c5b689bf1887e1cc961a0fca24df6678
tree2e339df959f7158e0c05a6e82d910fc833623bcf
parent155a7a1afeb6326353fe2081a362e52e2fec106f
finer-grained split between packages - the drl plugin is vs-specific at this point
setup-lib.py
setup-vs.py