diff options
author | Antoine GIRARD <sapk@users.noreply.github.com> | 2020-02-08 01:14:43 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-08 01:14:43 +0100 |
commit | 632df9b996522792ddcaf102c1e9921447484dc4 (patch) | |
tree | 65a75f2f18d5771a01df73c6ef34b7a04ca47def /web_src | |
parent | 4721d45c2aa9ea7f0587188938ea78bec584c5b6 (diff) | |
download | gitea-632df9b996522792ddcaf102c1e9921447484dc4.tar.gz gitea-632df9b996522792ddcaf102c1e9921447484dc4.zip |
Improve make PR (force build and help message) (#10178)
* Force build of assets
* Add make pr to make help
* apply @jolheiser suggestion
Co-Authored-By: John Olheiser <42128690+jolheiser@users.noreply.github.com>
* Run clean-all before make pr
Co-authored-by: John Olheiser <42128690+jolheiser@users.noreply.github.com>
Diffstat (limited to 'web_src')
0 files changed, 0 insertions, 0 deletions