diff options
author | Marco Maggesi <1809783+maggesi@users.noreply.github.com> | 2019-10-07 15:47:37 +0200 |
---|---|---|
committer | Marco Maggesi <1809783+maggesi@users.noreply.github.com> | 2019-10-07 15:47:37 +0200 |
commit | c70d7fa7603c7c4ea64211dd2be5995a55310245 (patch) | |
tree | 66704c47b3f737c7349d27b204b8b8bba50eba7f /README.md | |
parent | abbf89ddb3969a06c27459ba904e536d8da38926 (diff) |
elpi: 1.6.0 -> 1.7.0
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions