Delete unused build script

mbeddr / mbeddr.formal

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

https://sites.google.com/site/fastenroot/home

Apache License 2.0

23 stars 14 forks source link

Closed sergej-koscejev closed 2 months ago

sergej-koscejev commented 2 months ago

There were some Java utility classes in the solution (PatchJars, JarOptimizer). @danielratiu please let me know if they should not be deleted.