GitHub / input-output-hk/transition-systems issues and pull requests
Labelled with: type: bugfix
#39 - Fix copyright and licensing information
Pull Request -
State: closed - Opened by jeltsch almost 2 years ago
Labels: type: bugfix
#39 - Fix copyright and licensing information
Pull Request -
State: closed - Opened by jeltsch almost 2 years ago
Labels: type: bugfix
#38 - Fix copyright and licensing information
Issue -
State: closed - Opened by jeltsch almost 2 years ago
Labels: type: bugfix
#16 - Start using cartouche for the mixfix annotation of `dual`
Issue -
State: open - Opened by jeltsch over 3 years ago
Labels: type: bugfix
#13 - Replace “subject line” by “title” regarding pull requests
Pull Request -
State: closed - Opened by jeltsch over 3 years ago
Labels: type: bugfix
#11 - Replace “subject line” by “title” regarding pull requests
Issue -
State: closed - Opened by jeltsch over 3 years ago
Labels: type: bugfix
#8 - Switch automated builds from using `wget` to using `curl`
Pull Request -
State: closed - Opened by jeltsch almost 4 years ago
Labels: type: bugfix
#7 - Switch automated builds from using `wget` to using `curl`
Issue -
State: closed - Opened by jeltsch almost 4 years ago
Labels: type: bugfix
#6 - Switch to Apache 2.0 license
Pull Request -
State: closed - Opened by jeltsch almost 4 years ago
Labels: type: bugfix
#1 - Switch to Apache 2.0 license
Issue -
State: closed - Opened by jeltsch almost 4 years ago
Labels: type: bugfix