diff options
| author | Théo Zimmermann | 2019-01-28 19:05:28 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-01-28 19:05:28 +0100 |
| commit | 0a75fb2209643cb35285f584f3ee313242c6d3e7 (patch) | |
| tree | a36c5dc5c5b34cf111568acea2907fc7d5d0a794 /dev | |
| parent | 9d9bc6fa0eb3d83218f7ed025cacab4875e555ea (diff) | |
| parent | 9f20e5a063cd268fdd91a3b827efac1f6f4cb4f4 (diff) | |
Merge PR #9420: [doc] Remove emacs mentions from INSTALL
Reviewed-by: JasonGross
Reviewed-by: Zimmi48
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions