diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-04-16 12:38:54 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-16 12:38:54 +0200 |
| commit | 45a036feeca6a079c5dd9c96b7e599294af5c152 (patch) | |
| tree | 255d0998b878b41aa328fbf67e912ae2f4e6a4a1 /misc/travis | |
| parent | 51d86c9112156cde770e33fb4f0dd9f8839867de (diff) | |
| parent | e90beade153f0ace450e3ec57b5eb44898023c1f (diff) | |
Merge pull request #37012 from Calinou/reverse-builtin-script-naming
Tweak the built-in script naming for resources with custom names
Diffstat (limited to 'misc/travis')
0 files changed, 0 insertions, 0 deletions