Skip to content
0.16.1
Giovanni Ciatto's avatar
Giovanni Ciatto
@gciatto-unibo
e2c2cc36 · fix halt solution rendering in :ide · 
+ make ide customisable
+ fix rendering of halt solutions in ide