diff options
| author | lassulus <git@lassul.us> | 2023-07-09 11:33:15 +0200 |
|---|---|---|
| committer | lassulus <git@lassul.us> | 2023-07-09 11:33:15 +0200 |
| commit | 11718dcded0d1db9c13001f38dd0c694ebb39df6 (patch) | |
| tree | 05c103f6207e60065320ff8dbd6fa53e9ec82aa0 /kartei/dave/default.nix | |
| parent | 305b9e1deee5d9b2d48ff01f647471fdd9ee766c (diff) | |
| parent | 4ed74041f7fa2d1554770eb3bb65c8774dd529eb (diff) | |
Merge remote-tracking branch 'gum/master'
Diffstat (limited to 'kartei/dave/default.nix')
0 files changed, 0 insertions, 0 deletions