Add html_as_default_extension
option to ServeDir
#1126
Loading
html_as_default_extension
option to ServeDir
#1126