elias/strudel-docker
1
0
Fork 0
mirror of https://github.com/eliasstepanik/strudel-docker.git synced 2026-01-12 06:08:34 +00:00
Code Issues Packages Projects Releases Wiki Activity
218 Commits 1 Branch 0 Tags
Commit Graph

4 Commits

Author SHA1 Message Date
Felix Roos
acd07c31ff started mini notation highlighting 
currently deactivated by addMiniLocations flag
 2022-02-20 23:46:45 +01:00
Felix Roos
ef9527d691 add "!" and "_" to mini notation 2022-02-16 20:10:00 +01:00
Felix Roos
ffffca8cdc allow "^" in mini notation step 2022-02-12 22:56:03 +01:00
Felix Roos
2062e4233e add poc for krill parsing 2022-02-06 12:41:20 +01:00