8eec75efde
Use shave (http://git.lespiau.name/cgit/shave) to make compilation more human friendly.
Use shave (http://git.lespiau.name/cgit/shave) to make compilation more human friendly.