summaryrefslogtreecommitdiffstats
AgeCommit message (Expand)Author
2017-06-25Adds MIX Destroy Element, its Parser and Serializer.Tarun Gupta
2017-06-21Add CircleCI configuration for basic GitHub PR checksTobias Markmann