diff options
| author | Emilio Jesus Gallego Arias | 2019-02-21 03:44:32 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-02-21 03:44:32 +0100 |
| commit | a34bc49621456cfd11ead110164747862b50f247 (patch) | |
| tree | 6d318df5a2dd923857dc6102f8492d2891e20842 /doc/plugin_tutorial/tuto1/src | |
| parent | 924468eb648750bf2cbb6de0b1c8f7a2960f0bf5 (diff) | |
| parent | 5664f0a67d17f9e5717ded6afbda70b36ea8c9f3 (diff) | |
Merge PR #9388: merge-pr.sh: fix #9387: quick_conf doesn't work in emacs shell buffer
Reviewed-by: ejgallego
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src')
0 files changed, 0 insertions, 0 deletions