Am 19.08.2014 19:57, schrieb Mike Gabriel:
I think these should also be merged into the git tree for reference. What do you think?
Uli
You are probably right, but I guess rebasing the whole stuff and merging in those tarballs underneath tarballs that are already present is a lot of work which may or may not be worth the effort.
I won't do that due to lack of time. If you volunteer on that task: WELCOME!!!
I will do that, and I think it is not that complicated. The git community offers tools for that kind of jobs. The critical point is how to prepend the old stuff to the current tree. To my current knowledge this is something that has to be done on the server (=github) side. I must investigate further.
Uli
-- Vorstandsvorsitzender/Chairman of the board of management: Gerd-Lothar Leonhart Vorstand/Board of Management: Dr. Bernd Finkbeiner, Michael Heinrichs, Dr. Arno Steitz Vorsitzender des Aufsichtsrats/ Chairman of the Supervisory Board: Philippe Miltin Sitz/Registered Office: Tuebingen Registergericht/Registration Court: Stuttgart Registernummer/Commercial Register No.: HRB 382196