aboutsummaryrefslogtreecommitdiffhomepage
AgeCommit message (Expand)Author
2023-11-29Add links to my lecture notesHEADmasterMarvin Borner
2019-02-13Travis: Set ASSET_HOST_URL to avoid test failuresMichael Weiss
2019-02-13Travis: Stop pinning the Ruby versionMichael Weiss
2019-02-13Comment out the deleted repository from @JW301Michael Weiss
2019-02-06Add script for MAlgo WS18/19 (#4)Cedric Breuning
2018-03-23Merge pull request #1 from fsi-tue/add-FinnIckler-scriptsMarc Weitz
2018-03-23Merge branch 'master' into add-FinnIckler-scriptsMarc Weitz
2018-03-23Merge pull request #3 from primeos/masterMarc Weitz
2018-03-23Merge branch 'master' into add-FinnIckler-scriptsMarc Weitz
2018-03-23Fix the TLS errors from Travis CIMichael Weiss
2018-03-23Add GitHub flavored emoji support to JekyllMichael Weiss
2018-03-23Fix the license linkMichael Weiss
2018-03-23Mention how to test/preview changes before making a PRMichael Weiss
2018-03-22Explicitly include CONTRIBUTING.md so that Jekyll renders itMichael Weiss
2018-03-21Merge pull request #2 from primeos/masterMarc Weitz
2018-03-21Use umlauts, fix some typos, and add an encoding badgeMichael Weiss
2018-03-21Fix the badge links (nesting order)Michael Weiss
2018-03-21add new lineTrybnetic
2018-03-21add scripts from @FinnIcklerTrybnetic
2018-03-20add badges to CONTRIBUTING.mdTrybnetic
2018-03-20add travis supportTrybnetic
2018-03-20add gitignoreTrybnetic
2018-03-20fix url to info1 scriptTrybnetic
2018-03-20Set theme jekyll-theme-minimalMarc Weitz
2018-03-20add Github templatesTrybnetic
2018-03-20Initial commitTrybnetic