diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2021-06-11 14:03:43 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2021-06-11 14:03:43 +0200 |
| commit | 1aeb2c5e3dc4782f0cc7279bf16b9ba06a08f328 (patch) | |
| tree | b008f3410fe9369dacba45303f9bef01daa025da /.gitignore | |
| parent | 2c0721983e8d0b090141882c49780fe50d8fdcde (diff) | |
Add packages necessary for shell commands on travis
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions