Waldemar Brodkorb 0f1fb71b37 Merge branch 'master' of git+ssh://openadk.org/git/openadk 12 éve
..
patches 0f1fb71b37 Merge branch 'master' of git+ssh://openadk.org/git/openadk 12 éve
Makefile 2b1f67debe fix cris build 12 éve