diff options
| -rw-r--r-- | src/local/domain/cri.rhizi.net/deliverables_generator.js (renamed from tools/deliverables_generator.js) | 0 | ||||
| -rw-r--r-- | src/local/utils.sh (renamed from tools/utils.sh) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/tools/deliverables_generator.js b/src/local/domain/cri.rhizi.net/deliverables_generator.js index c4454609..c4454609 100644 --- a/tools/deliverables_generator.js +++ b/src/local/domain/cri.rhizi.net/deliverables_generator.js diff --git a/tools/utils.sh b/src/local/utils.sh index df5e2fb6..df5e2fb6 100644 --- a/tools/utils.sh +++ b/src/local/utils.sh |