From aa2dcd090caf3d54bc51d8dc9dd21eac6f518242 Mon Sep 17 00:00:00 2001 From: Michael Davidsaver Date: Thu, 18 Oct 2018 16:59:23 -0700 Subject: [PATCH] rename documentation/*.h -> .dox --- documentation/{examples.h => examples.dox} | 0 documentation/{mainpage.h => mainpage.dox} | 0 documentation/{providers.h => providers.dox} | 0 documentation/{pvtools.h => pvtools.dox} | 0 documentation/{release_notes.h => release_notes.dox} | 0 5 files changed, 0 insertions(+), 0 deletions(-) rename documentation/{examples.h => examples.dox} (100%) rename documentation/{mainpage.h => mainpage.dox} (100%) rename documentation/{providers.h => providers.dox} (100%) rename documentation/{pvtools.h => pvtools.dox} (100%) rename documentation/{release_notes.h => release_notes.dox} (100%) diff --git a/documentation/examples.h b/documentation/examples.dox similarity index 100% rename from documentation/examples.h rename to documentation/examples.dox diff --git a/documentation/mainpage.h b/documentation/mainpage.dox similarity index 100% rename from documentation/mainpage.h rename to documentation/mainpage.dox diff --git a/documentation/providers.h b/documentation/providers.dox similarity index 100% rename from documentation/providers.h rename to documentation/providers.dox diff --git a/documentation/pvtools.h b/documentation/pvtools.dox similarity index 100% rename from documentation/pvtools.h rename to documentation/pvtools.dox diff --git a/documentation/release_notes.h b/documentation/release_notes.dox similarity index 100% rename from documentation/release_notes.h rename to documentation/release_notes.dox