switched to popl

This commit is contained in:
badaix 2015-12-11 08:35:57 +01:00
parent 95f88267ad
commit 5da2308ed4
3 changed files with 58 additions and 80 deletions

2
externals/popl vendored

@ -1 +1 @@
Subproject commit ed0a3323d84673a61ea4758cf29972c47b882e8e
Subproject commit ba037c01fcf1d9b6d05bc726e338f2f2e71c53ac