diff options
| author | Tor Aamodt <[email protected]> | 2019-02-14 16:06:20 -0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-02-14 16:06:20 -0800 |
| commit | 4ed2d9e106d797eeaf5199100984dc7c658cdc1e (patch) | |
| tree | 20216dfed6fcb99160d771524c174f9c6cb028c2 /configs | |
| parent | d26501be3e3e8a6fe52409dd7cbaa7fa33e34d5e (diff) | |
| parent | 431381ece357b1bfae7171743e56ab9361b749f4 (diff) | |
Merge pull request #94 from deval281shah/dev
changes for ubuntu 18.04 support
Diffstat (limited to 'configs')
0 files changed, 0 insertions, 0 deletions