aboutsummaryrefslogtreecommitdiff
path: root/.github/isabelle-action/entrypoint.sh
diff options
context:
space:
mode:
authorJosh Chen2021-04-10 22:06:24 +0100
committerJosh Chen2021-04-10 22:06:24 +0100
commit54df7336797dfa07124652a9eb75aac978a1a359 (patch)
tree7fae961d00834ceb4f66682584c0e7f001cf7a9b /.github/isabelle-action/entrypoint.sh
parentaf3b0ccf72ec0d22b635e413fd24f6ab47cd27a0 (diff)
small rename
Diffstat (limited to '.github/isabelle-action/entrypoint.sh')
0 files changed, 0 insertions, 0 deletions