// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-

/* The name of this package (not localized) */
const PACKAGE_NAME = 'gnome-shell';
/* The version of this package */
const PACKAGE_VERSION = '3.13.92';
/* 1 if gnome-bluetooth is available, 0 otherwise */
const HAVE_BLUETOOTH = 1;
/* 1 if networkmanager is available, 0 otherwise */
const HAVE_NETWORKMANAGER = 1;
/* gettext package */
const GETTEXT_PACKAGE = 'gnome-shell';
/* locale dir */
const LOCALEDIR = '/home/fmuellner/opt/gnome/share/locale';
/* other standard directories */
const LIBEXECDIR = '/home/fmuellner/opt/gnome/libexec';
const SYSCONFDIR = '/home/fmuellner/opt/gnome/etc';
