100644 blob c734476f7ab0602fa6f131ec4c428c57cacb80d1	building.html
100755 blob aefa10ea7423523090091035765030dc880a7cbd	history.html
100755 blob f4468570e49d8511072cd02cc621dff54987f21a	language.html
100755 blob 126d8a34b33907a82ec6081807e9813bc4902618	miscellaneous.html
100755 blob 7d07c8312c23f867acd1b272cf3100e438f18341	usage.html