Merge pull request #1334 from barrucadu/master

Add dpor library.
This commit is contained in:
Adam Bergmark 2016-04-03 17:59:41 +02:00
commit 1c114ba401

View File

@ -1590,6 +1590,7 @@ packages:
"Michael Walker <mike@barrucadu.co.uk> @barrucadu":
- both
- dpor
- dejafu
- async-dejafu
- hunit-dejafu