diff options
| author | Dave Love | 2000-05-26 13:02:13 +0000 |
|---|---|---|
| committer | Dave Love | 2000-05-26 13:02:13 +0000 |
| commit | c2641e5f2d2159832b96addb8d6d0bcd9efa4311 (patch) | |
| tree | eb755d828f9c9af51d8870e94c14623a7b76ec3c | |
| parent | dc29aa6cbf0f461104e3891aff2e6b4509ac5414 (diff) | |
| download | emacs-c2641e5f2d2159832b96addb8d6d0bcd9efa4311.tar.gz emacs-c2641e5f2d2159832b96addb8d6d0bcd9efa4311.zip | |
(elp-version): Deleted.
| -rw-r--r-- | lisp/emacs-lisp/elp.el | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lisp/emacs-lisp/elp.el b/lisp/emacs-lisp/elp.el index d990f5d0d19..308ab51ff61 100644 --- a/lisp/emacs-lisp/elp.el +++ b/lisp/emacs-lisp/elp.el | |||
| @@ -93,7 +93,6 @@ | |||
| 93 | ;; elp-set-master | 93 | ;; elp-set-master |
| 94 | ;; elp-unset-master | 94 | ;; elp-unset-master |
| 95 | ;; elp-results | 95 | ;; elp-results |
| 96 | ;; elp-submit-bug-report | ||
| 97 | 96 | ||
| 98 | ;; Note that there are plenty of factors that could make the times | 97 | ;; Note that there are plenty of factors that could make the times |
| 99 | ;; reported unreliable, including the accuracy and granularity of your | 98 | ;; reported unreliable, including the accuracy and granularity of your |
| @@ -189,9 +188,6 @@ In other words, a new unique buffer is create every time you run | |||
| 189 | ;; end of user configuration variables | 188 | ;; end of user configuration variables |
| 190 | 189 | ||
| 191 | 190 | ||
| 192 | (defconst elp-version "3.2" | ||
| 193 | "ELP version number.") | ||
| 194 | |||
| 195 | (defvar elp-results-buffer "*ELP Profiling Results*" | 191 | (defvar elp-results-buffer "*ELP Profiling Results*" |
| 196 | "Buffer name for outputting profiling results.") | 192 | "Buffer name for outputting profiling results.") |
| 197 | 193 | ||