diff options
author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-07-31 23:34:08 +0200 |
---|---|---|
committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-08-20 17:35:55 +0200 |
commit | 5efd43609b84c2fec2ea452a1c27b028388e8389 (patch) | |
tree | ae9a92175b432e077d047c9d9c7a4c6888e784a0 /doc/tools | |
parent | cce148b0242836b5c32a7fa6c39013a2fc1c9eff (diff) |
Travis CI: Test project exporting/script running in the headless editor
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions