diff options
| author | Emilio Jesus Gallego Arias | 2019-04-30 15:35:35 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-04-30 15:35:35 +0200 |
| commit | 63610b6b9dbed35c86c3c677c7659b20b16896e7 (patch) | |
| tree | d0a5ab353d6b8fa59841b655c66d8a00044191bb /doc/plugin_tutorial/tuto2/src/demo_plugin.mlpack | |
| parent | 4ac61e9dbf227356edfe33b683a6638776e52c5d (diff) | |
| parent | 6ef5a36a69e9116344af7fae4434a487be9c3b0e (diff) | |
Merge PR #10019: Update behavior of -emacs to support showing diffs in ProofGeneral (master branch)
Reviewed-by: ejgallego
Diffstat (limited to 'doc/plugin_tutorial/tuto2/src/demo_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions