diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-08-20 18:42:14 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-20 18:42:14 +0200 |
commit | 8d5b9694283e94a61dbce4d908d56b72fde79cb6 (patch) | |
tree | 49ceb3836d4da6c23292a8f89af389879e8c87b5 /modules/regex | |
parent | bb5bf8ef49fd9d4e0580998dd03644d99bd3bc1a (diff) | |
parent | 5efd43609b84c2fec2ea452a1c27b028388e8389 (diff) |
Merge pull request #31013 from Calinou/travis-test-headless-editor
Travis CI: Test project exporting/script running in the headless editor
Diffstat (limited to 'modules/regex')
0 files changed, 0 insertions, 0 deletions