colrev.search_file
Extended SearchFile with search_results_path and derived search_history_path.
Classes
| 
 | Extended SearchFile with search_results_path and derived search_history_path. | 
Extended SearchFile with search_results_path and derived search_history_path.
Classes
| 
 | Extended SearchFile with search_results_path and derived search_history_path. |