diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2022-04-20 19:46:16 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-20 19:46:16 +0200 |
commit | 0311a5a0af8dd35a5fd46d9bbd2e181b7163371c (patch) | |
tree | 4f1767759d5c93df083a5acd4022569193414f42 /pkgs/development/beam-modules | |
parent | b9e4383b0a438c1666722c948b9f418e4e21171a (diff) | |
parent | 9aa4c5dbfc806b2f71ad351fc79d5d0312e0caa4 (diff) |
Merge pull request #157629 from 1000teslas/isabelle
isabelle: make closer to upstream
Diffstat (limited to 'pkgs/development/beam-modules')
0 files changed, 0 insertions, 0 deletions