diff options
| author | Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> | 2014-10-24 17:19:22 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> | 2014-10-24 17:19:22 +0200 |
| commit | 5c10eaf282cdbe6c97d9ecc6eafc6598b3c3285c (patch) | |
| tree | 8a441a48f5d3ecd43ea480f12f787e3a136a52ea | |
| parent | 44a57256679bc429b8f6fdfa20d69eedad739e61 (diff) | |
provide grid-engine-mode
| -rw-r--r-- | grid-engine-mode.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/grid-engine-mode.el b/grid-engine-mode.el index 3318671..60220dc 100644 --- a/grid-engine-mode.el +++ b/grid-engine-mode.el @@ -156,3 +156,4 @@ (grid-engine-setup) (use-local-map grid-engine-map) (run-hooks 'grid-engine-hook)) +(provide 'grid-engine-mode) |