Added extension to profiling instructions (#419)

The profiling page wasn't getting added to the doc build because it didn't have the right extension. This fixes it so now it will be included in the doc build.
terrapower · Sep 21, 2021 · 5d21060 · 5d21060
1 parent 6dd2113
commit 5d21060
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/doc/developer/profiling → doc/developer/profiling.rst b/doc/developer/profiling → doc/developer/profiling.rst