diff options
| author | Simon Jakobi <simon.jakobi@gmail.com> | 2018-06-05 19:47:06 +0200 |
|---|---|---|
| committer | Simon Jakobi <simon.jakobi@gmail.com> | 2018-06-13 23:39:30 +0200 |
| commit | ca619464b74c3f55a34406f0a555f7d82c27caae (patch) | |
| tree | c6c4a483a327c3e9e0d9323a99ff5b048801693d /doc/.gitignore | |
| parent | 622c45d56e0ccb11e3b8b0832654cb30c8369ba8 (diff) | |
Bump a few dependency bounds (#845)
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions