diff options
| author | Georgios Andreadis <g.andreadis@student.tudelft.nl> | 2018-11-09 16:54:18 +0100 |
|---|---|---|
| committer | Georgios Andreadis <g.andreadis@student.tudelft.nl> | 2018-11-09 16:54:18 +0100 |
| commit | f4b01af9f11ec296851ab70a35f7501bab472946 (patch) | |
| tree | 9b623c5af2b8809374f4d1c82053adb516a48fb7 /opendc/util | |
| parent | 9a2a98548ab50217a78d433a13da72af3001a785 (diff) | |
Pin version numbers of dependencies
This should make deployments more stable and reproducible. 🎉
Diffstat (limited to 'opendc/util')
0 files changed, 0 insertions, 0 deletions