Update README for git lab repos

dbosk / introtools

Teaching material introducing some basic (CS) tools

https://daniel.bosk.se/introtools

Other

0 stars 0 forks source link

Closed dbosk closed 1 year ago

dbosk commented 2 years ago

Merge in August 2023!

This should be merged when datintro22 expires and datintro23 starts. This change requires the grader to change.

dbosk commented 1 year ago

Merged into #101.