diff options
| author |  Erik Martin-Dorel <erik@martin-dorel.org> | 2019-01-13 12:01:55 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2019-01-13 12:01:55 +0100 |
| commit | 2706e51cd3b1fdb136ca42050d383b8a3a07eab6 (patch) | |
| tree | a2dd6e1ce24c4ae4b7709a4876321c3ccf1bcb3a /AUTHORS | |
| parent | 58cea1b8ffb02bc546ddb56a669d4094390d4809 (diff) | |
| parent | 97e8558810c93fd2f8eb7983d7c1ed3cfa7a038b (diff) | |
Merge pull request #414 from ProofGeneral/improve-use-package-support
Improve use-package support
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions