Bump opendetex

This commit is contained in:
Lucas Verney 2015-12-23 19:30:00 +01:00
parent 9ab4141d60
commit a299cc7816
1 changed files with 1 additions and 1 deletions

@ -1 +1 @@
Subproject commit 284f59211829aab75e8f07423da195bc630146c2
Subproject commit b980e6764279df32acd0f693a163d2040f1166b7