fix: Rename documentation HTML file to index.html
authorAndreas Schuh <andreas.schuh.84@gmail.com>
Tue, 24 Mar 2015 12:55:31 +0000 (12:55 +0000)
committerAndreas Schuh <andreas.schuh.84@gmail.com>
Tue, 24 Mar 2015 12:55:31 +0000 (12:55 +0000)
index.html [moved from gflags.html with 100% similarity]

similarity index 100%
rename from gflags.html
rename to index.html