[Jenkins]Jenkins

Änderungen

Summary

  1. fix #147 (details)
Commit ee275c7612e6d12ffeb04ac192c4f5653a65fe53 by frotty
fix #147
The file was added.editorconfig
The file was modifiedwurst/data/HashSet.wurst (diff)
The file was modifiedwurst/data/HashSetTests.wurst (diff)