author | James D. Forrester <jforrester@wikimedia.org> | |
Wed, 7 Mar 2018 18:34:28 +0000 (18:34 +0000) | ||
committer | James D. Forrester <jforrester@wikimedia.org> | |
Wed, 7 Mar 2018 18:39:02 +0000 (18:39 +0000) | ||
commit | 4d19c7e9bbe9cb5833672c00fc56cdf803276ff8 | |
tree | 49557b075320f52ec8f376284b63a2022bb70414 | tree | snapshot |
parent | dc53e2c5f842751b05a218edc0132e4385d72e00 | commit | diff |
maintenance/resources/update-oojs-ui.sh | [deleted file] | blob | history |
maintenance/resources/update-ooui.sh | [new file with mode: 0755] | blob |