leonhardhennig commited on
Commit
66cc185
1 Parent(s): 9a217ee

Rename config_orig.json to config.json

Browse files
Files changed (1) hide show
  1. config_orig.json → config.json +0 -0
config_orig.json → config.json RENAMED
File without changes