Wuzzy [Sun, 17 Jan 2016 13:06:23 +0000] rev 763
VideoRecorder: Copy-editing, add title, fix header levels
Wuzzy [Sun, 17 Jan 2016 13:00:37 +0000] rev 762
Hedgeroid_explained: Add title
Wuzzy [Sun, 17 Jan 2016 13:00:07 +0000] rev 761
Dependencies: Fix header levels
Wuzzy [Sun, 17 Jan 2016 12:59:18 +0000] rev 760
CommandLineOptions: Add title, fix header levels
Wuzzy [Sun, 17 Jan 2016 12:58:08 +0000] rev 759
ConfigurationFiles: Fix max_depth parameter
Wuzzy [Sun, 17 Jan 2016 12:57:26 +0000] rev 758
ConfigurationFiles: Add title, fix header levels, simplify TOC
Wuzzy [Sun, 17 Jan 2016 12:55:30 +0000] rev 757
BuildingOnWindows: Add title, fix header levels
Wuzzy [Sun, 17 Jan 2016 12:54:56 +0000] rev 756
BuildingOnMac: Fix title
Wuzzy [Sun, 17 Jan 2016 12:54:45 +0000] rev 755
BuildingOnMac: Add title, fix header levels
Wuzzy [Sun, 17 Jan 2016 12:54:00 +0000] rev 754
BuildingForAndroid: Title consistency