diff options
author | Andreas Gohr <andi@splitbrain.org> | 2023-03-10 15:28:01 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-03-10 15:28:01 +0100 |
commit | 9cddb935abb40a34343afe40ba0cc98535cbdd90 (patch) | |
tree | 95549ad5166ced2b32a23497cc852e311ec8c589 /lib/scripts/jquery/jquery-ui-theme | |
parent | df2b90435cd5d6cd8c55733587ad56b96a2e9d74 (diff) | |
parent | 9425586fc5258f41619fb2d72ba7423c75cb8074 (diff) | |
download | dokuwiki-9cddb935abb40a34343afe40ba0cc98535cbdd90.tar.gz dokuwiki-9cddb935abb40a34343afe40ba0cc98535cbdd90.zip |
Merge pull request #3899 from dokuwiki/releaseaction
Automate the release workflow using GitHub actions
Diffstat (limited to 'lib/scripts/jquery/jquery-ui-theme')
0 files changed, 0 insertions, 0 deletions