Add missing extension

This commit is contained in:
Richard Berger 2018-07-30 19:13:26 -04:00
parent 34f619ea1d
commit 57cd1ab55a
1 changed files with 1 additions and 1 deletions

View File

@ -18,7 +18,7 @@ Speed_intel.html
Speed_kokkos.html
Speed_omp.html
Speed_opt.html
Speed_compare
Speed_compare.html
Section_howto.html
Examples.html
Tools.html