diff options
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/profiling.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/profiling.txt b/etc/profiling.txt index 49b378ba..b660f200 100644 --- a/etc/profiling.txt +++ b/etc/profiling.txt @@ -4,6 +4,7 @@ Notes on Profiling Proof General in Emacs Usage of Elisp profiler: M-x elp-instrument-package RET proof RET + M-x elp-instrument-package RET pg RET < do something now > |