Max Bruckner a973482ef2 Fix bug in fix of breaking change
Without this fix, the type passed to ArrayNode.toTex would stay there
forever until you change it back manually instead of being used only
once.
2015-03-14 09:09:07 +01:00
..
2014-12-25 17:05:29 +01:00
2015-03-14 09:09:07 +01:00
2015-02-09 21:43:00 +01:00