Maximilian Weigand wrote: > thanks for your comments, I followed most your suggestions and commited > directly to the git archive. since the commit did not appear in the repository, you probably forgot to do a 'git push' to actually push the commit to the remote repository. -- Address: Daniel Baumann, Burgunderstrasse 3, CH-4562 Biberist Email: daniel.baumann@panthera-systems.net Internet: http://people.panthera-systems.net/~daniel-baumann/