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 /obsolete/demoisa | |
parent | 58cea1b8ffb02bc546ddb56a669d4094390d4809 (diff) | |
parent | 97e8558810c93fd2f8eb7983d7c1ed3cfa7a038b (diff) |
Merge pull request #414 from ProofGeneral/improve-use-package-support
Improve use-package support
Diffstat (limited to 'obsolete/demoisa')
0 files changed, 0 insertions, 0 deletions