aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* dirty update into more modern timesHEADmainstuebinm2023-06-172-4/+4
|
* reduce closure sizestuebinm2022-12-051-1/+11
|
* bump to nixpkgs-22.11stuebinm2022-12-053-10/+30
|
* bump to nixpkgs 21.11stuebinm2021-12-034-13/+13
|
* add nix build system and NixOS modulestuebinm2021-09-068-0/+396
|
* Bump haskell image to 8.10.4Jasper Van der Jeugt2021-04-151-1/+1
|
* YAML sucksJasper Van der Jeugt2021-04-151-10/+7
|
* Bump dependenciesJasper Van der Jeugt2021-04-153-11/+11
|
* UPenn PLClub Card setlag472021-04-151-0/+65
|
* POPL editsNiki Vazou2021-01-161-2/+11
|
* typoNiki Vazou2021-01-141-1/+1
|
* Various fixesJasper Van der Jeugt2021-01-133-9/+11
|
* Add popl2021 cardsNiki Vazou2021-01-131-1/+51
| | | Co-authored-by: Ilya Sergey <ilya.sergey@yale-nus.edu.sg>
* CS papers cardstomjaguarpaw2020-09-121-0/+69
|
* Bump script for munihac2020Jasper Van der Jeugt2020-09-111-11/+16
|
* Bump cardsJasper Van der Jeugt2020-09-111-0/+4
|
* Restrict room names to ASCIIJasper Van der Jeugt2020-09-111-5/+6
| | | | Fixes #4
* Improve help textJasper Van der Jeugt2020-09-111-5/+18
|
* Fix card duplication bugJasper Van der Jeugt2020-09-111-5/+19
| | | | Fixes #2
* Add default card setJasper Van der Jeugt2020-09-114-19/+41
|
* Copy and adapt cardsJasper Van der Jeugt2020-09-101-13/+102
|
* Bump cardsJasper Van der Jeugt2020-09-101-0/+6
|
* Build a little include featureJasper Van der Jeugt2020-09-082-28/+58
|
* YAML oopsJasper Van der Jeugt2020-09-081-1/+1
|
* Add some munihac2020 cardsJasper Van der Jeugt2020-09-081-0/+31
|
* Last minute scripts/create-rooms.sh changesJasper Van der Jeugt2020-08-251-2/+9
|
* Fix typo: foundamental -> fundamentalAdam Gundry2020-08-251-1/+1
|
* Fix some trailing spacesJasper Van der Jeugt2020-08-231-3/+3
|
* Quick README.md bumpJasper Van der Jeugt2020-08-231-0/+4
|
* more cardsNiki Vazou2020-08-231-2/+25
|
* Add scripts/create-rooms.shJasper Van der Jeugt2020-08-231-0/+9
|
* Sort rooms alphabeticallyJasper Van der Jeugt2020-08-231-4/+8
|
* Bump style sheetJasper Van der Jeugt2020-08-231-1/+1
|
* Minor punctuation fixesJasper Van der Jeugt2020-08-231-2/+2
|
* Show errors on same pageJasper Van der Jeugt2020-08-233-21/+41
|
* Add link to repoJasper Van der Jeugt2020-08-221-1/+5
|
* Multiple card setsJasper Van der Jeugt2020-08-2210-269/+292
|
* Small typo fixesJasper Van der Jeugt2020-08-191-2/+1
|
* Pin docker imageJasper Van der Jeugt2020-08-181-1/+1
|
* Minor style fixJasper Van der Jeugt2020-08-181-1/+0
|
* Refactor: remove printJasper Van der Jeugt2020-08-181-1/+0
|
* Refactor: remove BaseUrlJasper Van der Jeugt2020-08-188-100/+29
|
* Explicitly create password-protected roomsJasper Van der Jeugt2020-08-175-81/+203
|
* Fix base url, no room infoJasper Van der Jeugt2020-08-162-8/+10
|
* Set locale in dockerfileJasper Van der Jeugt2020-08-161-0/+1
|
* Docker build should be able to read .gitJasper Van der Jeugt2020-08-161-1/+1
|
* Move to /Jasper Van der Jeugt2020-08-161-1/+1
|
* Merge branch 'list-rooms' into mainJasper Van der Jeugt2020-08-1611-89/+228
|\
| * Room list stylingJasper Van der Jeugt2020-08-162-9/+19
| |
| * Move client to serverJasper Van der Jeugt2020-08-168-114/+67
| |