]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
New method to Prelude: indexSet 33/1733/1
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Wed, 25 Apr 2018 12:03:16 +0000 (15:03 +0300)
committerHannu Niemistö <hannu.niemisto@semantum.fi>
Wed, 25 Apr 2018 14:17:39 +0000 (17:17 +0300)
Change-Id: I06affe3386f014ae098c31416503fd941f3c7d36


No differences found