aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-25 18:28:04 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-25 18:36:30 +0000
commita60db913794a7e0563a5c3443311a955a98559f5 (patch)
tree4f02df6c0a78f7a0c0fc44a50584b18858a0e46f /.gitignore
parent46f639963cf98d3a380a2577eb0c8f138ea451d5 (diff)
More generic naming convention
Until now, we were keeping the input file within the reproduction pipeline's directories using the same name as the database/server. Now, we are using a short/summarized filename convention for the input dataset.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions