summarylogtreecommitdiffstats
path: root/isabelle.desktop
diff options
context:
space:
mode:
authorbitwave2023-09-18 13:16:23 +0200
committerbitwave2023-09-18 13:16:23 +0200
commitbd83fcdcdb81575f2999f52b2848f8ffb467ac07 (patch)
tree4baecff23c4e1e741c59a226e3c172b303ffb268 /isabelle.desktop
parent7a2e1e45f9808cd88fa68ac4429c195e0792c62f (diff)
downloadaur-isabelle.tar.gz
upgpkg: isabelle 2023-1
upstream release
Diffstat (limited to 'isabelle.desktop')
0 files changed, 0 insertions, 0 deletions