Rename config_divedoc.py to configuration_divedoc.py b18ad8d verified JayRay5 commited on Dec 11, 2025
Rename configuration_divedoc.py to config_divedoc.py ccec861 verified JayRay5 commited on Dec 11, 2025