diff options
| author | Joshua Shreve <j.a.shreve@gmail.com> | 2021-08-22 11:35:37 -0400 |
|---|---|---|
| committer | Joshua Shreve <j.a.shreve@gmail.com> | 2021-08-22 11:35:37 -0400 |
| commit | f94209c3a0c065eb3af5ff0a75f8ffc6dbd0223f (patch) | |
| tree | f9bbbdf69fa1ba90ac36e6c9927d836874961f0d /.github/workflows | |
| parent | 9e2c0c3b72eb0bb27210bf19d76e7e4b6f5ce295 (diff) | |
Fixed docker directories in batch file.
Added note for when run_config is used vs. configuration argument.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions