diff --git a/padres.xml b/padres.xml index e401b301c39130d6463614feedd6c5cfa27abfbc..7188b9f8c1cc9778c5f8d70fc220601424d603e5 100644 --- a/padres.xml +++ b/padres.xml @@ -134,6 +134,15 @@ <element executable="yes" path="/home/ldm/devel/panels/bin" exename="decimator_padres_ldm.sh"> <title>LDM</title> </element> + <element executable="yes" path="/home/mag/devel/panels/bin" exename="decimator_padres_mag.sh"> + <title>MAG</title> + </element> + <element executable="yes" path="/home/timer/devel/panels/bin" exename="decimator_padres_tmr.sh"> + <title>TMR</title> + </element> + <element executable="yes" path="/home/timex/devel/panels/bin" exename="decimator_padres_tmx.sh"> + <title>TMX</title> + </element> </folder> <!-- decimation -->