diff options
| author |  Christian Hesse <mail@eworm.de> | 2021-07-15 12:47:05 +0200 |
|---|---|---|
| committer | Christian Hesse <mail@eworm.de> | 2021-07-15 12:47:05 +0200 |
| commit | 8e2c783068829c523c3b8fa8835f77f3a6ef56e0 (patch) | |
| tree | 5b34965f7735ed276ff2f3991d5eb1eae54de589 /doc/super-mario-theme.md | |
| parent | 9509371690c26bb67918448458f7b2989df4635c (diff) | |
lease-script: drop differentiation of assign / deassign...
... not that we have early locking.
Diffstat (limited to 'doc/super-mario-theme.md')
0 files changed, 0 insertions, 0 deletions