Improves the search_file function (!145) · Merge requests · bob / bob.extension · GitLab

Snippets Groups Projects

Merged Amir MOHAMMADI requested to merge improve-search_file into master 2 years ago

Speeds up searching and fixes #88 (closed)

Activity

Amir MOHAMMADI assigned to @amohammadi 2 years ago

assigned to @amohammadi
Amir MOHAMMADI added 1 commit 2 years ago
added 1 commit

aeba4e05 - Fix tests modifying the code's bobrc file

Compare with previous version
Amir MOHAMMADI enabled an automatic merge when the pipeline for aeba4e05 succeeds 2 years ago

enabled an automatic merge when the pipeline for aeba4e05 succeeds
Amir MOHAMMADI merged 2 years ago

merged
Amir MOHAMMADI mentioned in commit 83c47f14 2 years ago

mentioned in commit 83c47f14

Please register or sign in to reply