From 9f6e4c5107ce2d3e1a3942b4e9fee148a94104c3 Mon Sep 17 00:00:00 2001 From: Paul Brossier Date: Sat, 2 Mar 2013 02:27:29 -0500 Subject: [PATCH] doc/: renamed doxy config files to {web,full}.cfg --- doc/{devel.cfg => full.cfg} | 0 doc/{user.cfg => web.cfg} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename doc/{devel.cfg => full.cfg} (100%) rename doc/{user.cfg => web.cfg} (100%) diff --git a/doc/devel.cfg b/doc/full.cfg similarity index 100% rename from doc/devel.cfg rename to doc/full.cfg diff --git a/doc/user.cfg b/doc/web.cfg similarity index 100% rename from doc/user.cfg rename to doc/web.cfg -- 2.26.2