filefinder_v1 added.
Merge branch 'production' of https://github.com/ChihChiu29/Zhi_side_projects into production
Reformatted to margin 80.
Reformatted to margin 80.
Added filename to TextStub.
Modification complete! Not tested yet.
Most modifications complete. Two todos:
1) Remove duplicates in priority_queue.
2) Make rank depend on the size of the content.