3b9c7b Initial pseudo merge for dist-git setup

Merged and Committed by Hans Ulrich Niedermann 9 years ago
0 file changed. 0 lines added. 0 lines removed.
    Initial pseudo merge for dist-git setup
    
    This will significantly simplify later package maintenance
    by enabling proper git merges.