diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-01-31T16·29+0000 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-01-31T16·29+0000 |
| commit | 4e0b18506fd2d30af0006d2f3525a9d6d7b45424 (patch) | |
| tree | f2a99cdb17a61890920b414f7d91065d6b6ebe7e /third_party | |
| parent | 265d2029088a1f49c5716bcb3d96f71dd0845d7e (diff) | |
Rename docker -> deploy
I think the name deploy is more representative of the purpose of this directory since docker is just one of a few tools that I'm using to deploy software.
Diffstat (limited to 'third_party')
0 files changed, 0 insertions, 0 deletions