diff options
author | Tilman Vatteroth | 2020-11-26 21:21:12 +0100 |
---|---|---|
committer | Tilman Vatteroth | 2020-11-26 21:22:03 +0100 |
commit | 9fb5dbbd2205035356fe1d82ba6645c2a74e11f8 (patch) | |
tree | 140f4ef4fb1a411de91ac0d9d321ae60d8b7cafa /lib/web/historyRouter.js | |
parent | 66ad73d853d15423c63b823102931b35ef93722a (diff) |
Limit CI runs to pushes to master and pull requests against master
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
Diffstat (limited to 'lib/web/historyRouter.js')
0 files changed, 0 insertions, 0 deletions