diff options
author | bitwave | 2023-09-18 13:16:23 +0200 |
---|---|---|
committer | bitwave | 2023-09-18 13:16:23 +0200 |
commit | bd83fcdcdb81575f2999f52b2848f8ffb467ac07 (patch) | |
tree | 4baecff23c4e1e741c59a226e3c172b303ffb268 /isabelle.desktop | |
parent | 7a2e1e45f9808cd88fa68ac4429c195e0792c62f (diff) | |
download | aur-isabelle.tar.gz |
upgpkg: isabelle 2023-1
upstream release
Diffstat (limited to 'isabelle.desktop')
0 files changed, 0 insertions, 0 deletions