#!/bin/sh
# This is where we decide which  KDE override to use.
# The menues should be choosen based on the users group.
#
export KDEDIRS=/usr/share/debian-edu/common:/usr
