| commit | dd3c5f54ab04e62c110eed32d5af469f78f1fc4d | |
| author | ketmar <ketmar@ketmar.no-ip.org> | |
| Thu, 2 Nov 2023 07:33:48 +0000 (2 07:33 +0000) | ||
| committer | ketmar <ketmar@ketmar.no-ip.org> | |
| Thu, 2 Nov 2023 07:33:48 +0000 (2 07:33 +0000) | ||
| tree | 364a2ce1a5d85b19c3b1a0dc2e991c1f93a57b13 | treesnapshot (tar.gz zip) |
| parent | ff60f5320b4e303e5aca4bf13d61c00de30e3a18 | commitdiff |
added option to temporarily disable sinopt (because optimising urasm expressions slows everything down a lot ;-)
FossilOrigin-Name: 5af1689483a75eee511d914db330f3cb2f2c530e920ff05f66c0b433a71e093d
FossilOrigin-Name: 5af1689483a75eee511d914db330f3cb2f2c530e920ff05f66c0b433a71e093d