Skip to content

Fixes ClassList serialization bug#118

Merged
DrPaulSharp merged 1 commit intoRascalSoftware:mainfrom
DrPaulSharp:serialization
Jan 15, 2025
Merged

Fixes ClassList serialization bug#118
DrPaulSharp merged 1 commit intoRascalSoftware:mainfrom
DrPaulSharp:serialization

Commits

Commits on Jan 15, 2025