1 Commits (8c45c65d00ea11d52531f715e51cb5aadad66a18)

Author SHA1 Message Date
  Simon Schmidt 4e6445fea8 modify script for new way of serving gz files 3 years ago
  Simon Schmidt bff8cdbeb7 compress errors :) 3 years ago
  Simon Schmidt 97a6076864 delete unnecessary files 3 years ago
  Simon Schmidt 1d7f2f368b debugging support :) over gdbstub 3 years ago
  Simon Schmidt 03d9f87159 added gzip for webpage and preprocessor timing wrapper 3 years ago
  Simon Schmidt 83e5cba4ec websrc to .h converter 3 years ago