X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=gnuradio-core%2Fsrc%2Flib%2Fgeneral%2Fgr_prefs.h;h=4396d727cf49609d80e57d5566d89eed3e040583;hb=ea29b08aeb54227e6628f655ccfdb96fe4d8c378;hp=13e594828efbcf0b16de4be6bf475292dacedcbc;hpb=18a684bf3dc144c48fc4cc6cc72f5070febd8074;p=debian%2Fgnuradio

diff --git a/gnuradio-core/src/lib/general/gr_prefs.h b/gnuradio-core/src/lib/general/gr_prefs.h
index 13e59482..4396d727 100644
--- a/gnuradio-core/src/lib/general/gr_prefs.h
+++ b/gnuradio-core/src/lib/general/gr_prefs.h
@@ -6,7 +6,7 @@
  * 
  * GNU Radio is free software; you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 2, or (at your option)
+ * the Free Software Foundation; either version 3, or (at your option)
  * any later version.
  * 
  * GNU Radio is distributed in the hope that it will be useful,
@@ -26,6 +26,7 @@
 
 /*!
  * \brief Base class for representing user preferences a la windows INI files.
+ * \ingroup misc
  *
  * The real implementation is in Python, and is accessable from C++
  * via the magic of SWIG directors.