diff options
| author | fpi | 2020-08-01 18:12:30 +0200 |
|---|---|---|
| committer | fpi | 2020-08-01 18:27:50 +0200 |
| commit | 7935118c35c5f4a6f7b9928556dd402e1a6380c7 (patch) | |
| tree | c60ad8fe268b26cd619ff45d535a9add119d0f21 /.gitattributes | |
| parent | Fix some text (diff) | |
Add notification upon finish async tangling
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions