diff options
| author | lstahlman <luke.stahlman@gmail.com> | 2016-07-16 18:30:43 -0700 |
|---|---|---|
| committer | 无闻 <u@gogs.io> | 2016-07-17 09:30:43 +0800 |
| commit | 25b3836418cda78be79c17c4fa58571f7fbd5a8d (patch) | |
| tree | a651f68a9e657f30dc91d08759f6395e0d29fd22 /public/plugins/codemirror-5.17.0/mode/python/python.js | |
| parent | 5aa2bf86f4cb9b3c6c472a3f8f1db10331f27c65 (diff) | |
Refresh repository mirror from database when the repository's name has changed. (#3276)
Diffstat (limited to 'public/plugins/codemirror-5.17.0/mode/python/python.js')
0 files changed, 0 insertions, 0 deletions