[Dune] webserver doesn't update

Christian Engwer christian.engwer at uni-muenster.de
Wed Sep 7 18:23:10 CEST 2016


as the title states it seems that the utomatic website update doesn't
work atm. My last commits didn't show up on the website.

Best
Christian




More information about the Dune mailing list