dwrensha/compfiles

Issues

• scripts/mk_toplevel_file.bash inserts extra dots on MacOS

  #29 opened 5 months ago by dwrensha
  0

• want the `extractProblems` command to be independent

  #13 opened 10 months ago by Seasawher
  2

• Feature: better UI of website

  #12 opened 10 months ago by Seasawher
  2