Author: Gianluca Guida <glguida@tlbflush.org>
Date: Sun Feb 26 18:31:04 UTC 2017
Commit: d358ce60dbbd70d911b65ded498ea77ea32b15b9
Parent: dd29503b2854d42fb485c626c1a807906bea066e (diff to parent)
Log message:
git_compile.sh: document
git_compile.sh (old) (diff) | 9 +++++++++ 1 file changed, 9 insertions(+)
Files: