amalgame/commit

Merge branch 'master' of github.com:jrvosse/amalgame

authorJacco van Ossenbruggen
Sat Aug 30 08:40:40 2014 +0200
committerJacco van Ossenbruggen
Sat Aug 30 08:40:40 2014 +0200
commitf0f53e2d0e2ae1360eb3fa9ed66460f9def4ebd3
tree3c63eff8cee9fcba57fe00158783ad407e42bfc1
parent2ba9b0beac0a2a42cd085cf2071ed013cba08a3e ac71063258143e1dfb636fed7fd378360cdab010
Diff style: patch stat