amend my bad commit

Branch: Refine_Tracked_Directories_amend

Branch: master

Merged

#20 · Created 2016-05-20 · Last updated 2016-05-20

Merged pull request

Merged in Refine_Tracked_Directories_amend (pull request #20)

5eef523·Author: Hoa Phan·Closed by: Hoa Phan·2016-05-20

Fix my bad commit that causes compilation error.