Skip to content
This repository was archived by the owner on Jan 15, 2025. It is now read-only.

Activity

Showing most recent first

Update README.md

jurgenvinjupushed 1 commit to main • 7f07920…481b3c5 • 
on Jan 15

Update README.md

jurgenvinjupushed 1 commit to main • 81f1034…7f07920 • 
on Jan 15

Update README.md to archive the project.

jurgenvinjupushed 1 commit to main • 9dcbc14…81f1034 • 
on Jan 15

[maven-release-plugin] prepare for next development iteration

jurgenvinjupushed 1 commit to main • de1bfd8…9dcbc14 • 
on Sep 11, 2023

[maven-release-plugin] Changing the version to reflect the pom versio…

jurgenvinjupushed 1 commit to main • f26f677…de1bfd8 • 
on Sep 11, 2023

[maven-release-plugin] prepare release v0.33.8

jurgenvinjupushed 1 commit to main • 3a71a0a…f26f677 • 
on Sep 11, 2023

[maven-release-plugin] Changing the version to reflect the pom versio…

jurgenvinjupushed 5 commits to main • 47f6dec…3a71a0a • 
on Sep 11, 2023

[maven-release-plugin] prepare for next development iteration

jurgenvinjupushed 1 commit to main • 955b6a0…47f6dec • 
on Sep 11, 2023

[maven-release-plugin] Changing the version to reflect the pom versio…

jurgenvinjupushed 1 commit to main • 8bf6b04…955b6a0 • 
on Sep 11, 2023

[maven-release-plugin] prepare release v0.30.7

jurgenvinjupushed 1 commit to main • d4e3ffb…8bf6b04 • 
on Sep 11, 2023

[maven-release-plugin] Changing the version to reflect the pom versio…

jurgenvinjupushed 1 commit to main • a1379e3…d4e3ffb • 
on Sep 11, 2023

bumped rascal-maven-plugin

jurgenvinjupushed 1 commit to main • e526143…a1379e3 • 
on Sep 5, 2023

bumped rscal and rascal-maven-plugin for compatibility sake

jurgenvinjupushed 2 commits to main • c5984f3…e526143 • 
on Aug 31, 2023