Hi all, By the end of next week, the ARTS source code will move from our subversion repository to GitHub.
If you have local changes, please commit them to the subversion repository before Wednesday, August 21 23:59. Detailed information on changes in the workflow for developers will be provided during the next week. Cheers, Oliver _______________________________________________ arts_dev.mi mailing list arts_dev.mi@lists.uni-hamburg.de https://mailman.rrz.uni-hamburg.de/mailman/listinfo/arts_dev.mi