aboutsummaryrefslogtreecommitdiffhomepage
AgeCommit message (Collapse)Author
2023-11-29Add links to my lecture notesHEADmasterMarvin Borner
2019-02-13Travis: Set ASSET_HOST_URL to avoid test failuresMichael Weiss
See [0],[1] for more details (the final webpage [2] still worked because GitHub sets ASSET_HOST_URL during the deployment but the tests failed because it isn't set and the old domain is used [3]). [0]: https://github.com/jekyll/jemoji/issues/89 [1]: https://github.com/jekyll/jemoji/pull/45/files [2]: https://fsi-tue.github.io/skripte/ [3]: https://assets-cdn.github.com/images/icons/emoji/unicode/1f4da.png
2019-02-13Travis: Stop pinning the Ruby versionMichael Weiss
Version 2.3.3 is pretty outdated by now and we don't depend on a particular version. IMO it makes more sense to simply use the default version (currently still 2.4.1). I've also reordered the directives for better readability.
2019-02-13Comment out the deleted repository from @JW301Michael Weiss
This will "fix" the tests for now.
2019-02-06Add script for MAlgo WS18/19 (#4)Cedric Breuning
Methoden der Algorithmik
2018-03-23Merge pull request #1 from fsi-tue/add-FinnIckler-scriptsMarc Weitz
add scripts from @FinnIckler
2018-03-23Merge branch 'master' into add-FinnIckler-scriptsMarc Weitz
2018-03-23Merge pull request #3 from primeos/masterMarc Weitz
Jekyll fixes + testing changes
2018-03-23Merge branch 'master' into add-FinnIckler-scriptsMarc Weitz
2018-03-23Fix the TLS errors from Travis CIMichael Weiss
See: https://github.com/gjtorikian/html-proofer/wiki/Using-HTMLProofer-From-Ruby-and-Travis
2018-03-23Add GitHub flavored emoji support to JekyllMichael Weiss
This plugin is required to render :books: from the repository's description.
2018-03-23Fix the license linkMichael Weiss
The .txt extension was missing.
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
Use umlauts and fix the badge links
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