Closed mircohacker closed 5 years ago
We will not add the compiled versions of the Anfihefte to the master branch. An idea would be to make an extra branch, or let them compile like the Anfibriefe on our servers, IIRC @primeos
As @primeos said in https://github.com/fsi-tue/anfibrief/pull/26#pullrequestreview-274497734
I found the published artefacts at https://teri.fsi.uni-tuebingen.de/anfibrief/ so this PR is not needed. I will open a new PR for the makefile fix
Thanks! But don't mix up the repos: this is the repo for the Anfiheft, your first sentence refers to Anfibrief.
This PR adds the build artefacts the the git tree, in order to allow easy linking to the current version.