index.html is needed as an alternative to index_devel.html to get styleguide to work
index.html is needed as an alternative to index_devel.html to get styleguide to work

ttiurani/extendedmind,ttiurani/extendedmind,extendedmind/extendedmind,extendedmind/extendedmind,extendedmind/extendedmind,ttiurani/extendedmind,ttiurani/extendedmind,extendedmind/extendedmind,extendedmind/extendedmind,ttiurani/extendedmind,ttiurani/extendedmind,extendedmind/extendedmind,extendedmind/extendedmind