Commit Graph

2 Commits

Author SHA1 Message Date
florian
63734fb792 * unnecessary directives removed 2024-10-31 22:35:04 +01:00
Jonas Maebe
e621bff943 * don't make a deep copy of records (and in the future, objects) in with-
statements on the JVM target (mantis )

git-svn-id: trunk@23945 -
2013-03-20 16:23:25 +00:00