diff options
| author |  Christian Hesse <mail@eworm.de> | 2021-06-24 17:17:43 +0200 |
|---|---|---|
| committer | Christian Hesse <mail@eworm.de> | 2021-06-24 22:28:08 +0200 |
| commit | 407a379f1dd18d12d2cd518cf9be26b69681e164 (patch) | |
| tree | e714d34bbb74096ec3a4d1f407acf63933fa34ca /doc/super-mario-theme.md | |
| parent | 855399b2bc888e592a2a440425fd07430b18f24b (diff) | |
lease-script: do not run in parallel on simultaneous deassign
Diffstat (limited to 'doc/super-mario-theme.md')
0 files changed, 0 insertions, 0 deletions