Searched refs:TIMESTAMP_FILE_NAME (Results 1 – 1 of 1) sorted by relevance
32 static TIMESTAMP_FILE_NAME: &str = "timestamp"; constant48 timestamp_path.push(TIMESTAMP_FILE_NAME); in new()106 timestamp_file_path.push(TIMESTAMP_FILE_NAME); in set_up()