Rename rattt variables and directories to ralambda - Githubissues

LearnLib / ralib

Apache License 2.0

4 stars 2 forks source link

Rename rattt variables and directories to ralambda #37

Closed FredrikTaquist closed 1 year ago