[webdsl/webdsl] 02b587: Rewrite last change to be jdk8 compatible (it used...

[Elmer van Chastelet]

Branch: refs/heads/master
Home: https://github.com/webdsl/webdsl
Commit: 02b5872a270e363999927ed5116ad69a5bfb5508
https://github.com/webdsl/webdsl/commit/02b5872a270e363999927ed5116ad69a5bfb5508
Author: Elmer van Chastelet <e.vanch...@tudelft.nl>
Date: 2025-08-07 (Thu, 07 Aug 2025)

Changed paths:
M java-runtime/src/utils/BuildProperties.java

Log Message:
-----------
Rewrite last change to be jdk8 compatible (it used `Set.of`, which was introduced in jdk9)



To unsubscribe from these emails, change your notification settings at https://github.com/webdsl/webdsl/settings/notifications