diff options
| author | lassulus <git@lassul.us> | 2023-04-18 12:49:31 +0200 |
|---|---|---|
| committer | lassulus <git@lassul.us> | 2023-04-18 12:49:31 +0200 |
| commit | 45f61cffe9acfcf0b269d3cdbad96573b8f3c0d5 (patch) | |
| tree | 0e5019b26129503c256637a26eb67d0bf6165c45 /kartei/mic92/default.nix | |
| parent | 6ae9b8d8ed3440ffc634e468491b0da5d777379d (diff) | |
| parent | caa8f83e79f7373bf234874b8614117c3f7a0710 (diff) | |
Merge remote-tracking branch 'gum/master'
Diffstat (limited to 'kartei/mic92/default.nix')
0 files changed, 0 insertions, 0 deletions