diff options
| author | rocky <rocky@gnu.org> | 2019-05-19 20:09:46 -0400 |
|---|---|---|
| committer | rocky <rocky@gnu.org> | 2019-05-19 20:09:46 -0400 |
| commit | 3e96d7cd7351b042c4f0a631f75efc699edce0d2 (patch) | |
| tree | b8e91a12f691ee060cf5b6b0cf6b7509167473c8 | |
| parent | 5fd179d0045ee95784beafe5799f69c9a92bd6da (diff) | |
Small package-lint change
| -rw-r--r-- | realgud-ipdb.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/realgud-ipdb.el b/realgud-ipdb.el index 120eb18..c49fdea 100644 --- a/realgud-ipdb.el +++ b/realgud-ipdb.el @@ -1,4 +1,4 @@ -;;; realgud-ipdb.el --- realgud front-end to ipdb +;;; realgud-ipdb.el --- Realgud front-end to ipdb ;; Author: Rocky Bernstein ;; Version: 1.0.0 |