diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2023-01-24 09:04:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-24 09:04:07 +0100 |
| commit | bdc8a615e3c324cbcc98157cd8f858df0c692443 (patch) | |
| tree | 0bfab080b95a68ef9e1f79c3cfc4e175d06be70d /lib/scripts/jquery/jquery-ui-theme | |
| parent | 93295a9238ece3133ab213d4edf18b5c29da5025 (diff) | |
| parent | 173de31c3bf14853cb70e707959ba525db668eb4 (diff) | |
| download | dokuwiki-bdc8a615e3c324cbcc98157cd8f858df0c692443.tar.gz dokuwiki-bdc8a615e3c324cbcc98157cd8f858df0c692443.zip | |
Merge pull request #3860 from trollkotze/patch-3
Avoid some unnecessary index file writes.
Diffstat (limited to 'lib/scripts/jquery/jquery-ui-theme')
0 files changed, 0 insertions, 0 deletions