xmlrdf/commit

Merge branch 'master' of ecgit:/home/janw/git/ClioPatria/xmlrdf

authorJacco van Ossenbruggen
Tue May 7 15:35:23 2013 +0200
committerJacco van Ossenbruggen
Tue May 7 15:35:23 2013 +0200
commit74e6d5ed22b6bab6c6471ba71af562c4c6e0bbb7
treec74a9d847a17a6013b5e9c97bd7a1e762132d5c7
parent9bc4c096260b6a3452d0da2afddbd15717bd313d 4c1cc5ddaa7cf134e7674794fe4aad7bb105def7
Diff style: patch stat