diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-12-10 14:07:23 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-12-10 14:07:23 +0100 |
commit | 64891e361bc375a00e2da0b98a07267d17abfa2e (patch) | |
tree | 30b77ea12cd3f6eed54f43bb98f937ce675cb9fa /pkgs/applications/audio/drumgizmo | |
parent | 109400fa0169a6d3bb3570e97a454aaf7db2b59e (diff) | |
parent | 3e9029366937f103eaea87bef25acf070f1dae2c (diff) |
Merge pull request #243497 from jvanbruegge/isabelle-2023
isabelle: 2022 -> 2023
Diffstat (limited to 'pkgs/applications/audio/drumgizmo')
0 files changed, 0 insertions, 0 deletions