Merge branch 'master' into 'main'
various fixes See merge request !10
No related branches found
No related tags found
Showing
- app/Main.hs 8 additions, 8 deletionsapp/Main.hs
- dist-newstyle/cache/config 0 additions, 0 deletionsdist-newstyle/cache/config
- presentations.pdf 0 additions, 0 deletionspresentations.pdf
- presentations.tex 43 additions, 8 deletionspresentations.tex
- professors1.csv 0 additions, 1 deletionprofessors1.csv
Loading
Please register or sign in to comment