Learn more about cloning repositories
You have read-only access
gitignore: add scripts/recordmcount This file is generated, should be ignored by git. Signed-off-by: WANG Cong <xiyou.wangcong@gmail.com> Signed-off-by: Michal Marek <mmarek@suse.cz>