GitHub / jku-vds-lab/jku-vds-lab.github.io issues and pull requests
Labelled with: enhancement
#13 - Team/Personal page enhancements
Issue -
State: open - Opened by sSwerk almost 4 years ago
- 2 comments
Labels: enhancement, medium prio
#12 - General enhancements
Issue -
State: open - Opened by sSwerk almost 4 years ago
- 11 comments
Labels: enhancement, medium prio
#11 - Frontpage enhancements
Issue -
State: closed - Opened by sSwerk almost 4 years ago
- 13 comments
Labels: enhancement, high prio
#8 - Default server
Issue -
State: open - Opened by ConnyWalchshofer over 4 years ago
- 1 comment
Labels: enhancement, low prio