HomePhabricator

Renamed system_config_directory to config_directory

Description

Renamed system_config_directory to config_directory

Details

Provenance
danAuthored on Jun 11 2019, 3:20 PM
Parents
rMPe392d4a6d332: Renamed configuration_filename to configuration_file
Branches
Unknown
Tags
Unknown