# HG changeset patch
# User reimar
# Date 1200243646 0
# Node ID 4eac26c4105924e9f6055b2f1706a76e6b922d43
# Parent  fc8d4bd1689ad24142de0d8514aab147f1f8b35d
Make mp_properties const

diff -r fc8d4bd1689a -r 4eac26c41059 command.c
--- a/command.c	Sun Jan 13 16:59:21 2008 +0000
+++ b/command.c	Sun Jan 13 17:00:46 2008 +0000
@@ -1921,7 +1921,7 @@
 /// All properties available in MPlayer.
 /** \ingroup Properties
  */
-static m_option_t mp_properties[] = {
+static const m_option_t mp_properties[] = {
     // General
     { "osdlevel", mp_property_osdlevel, CONF_TYPE_INT,
      M_OPT_RANGE, 0, 3, NULL },