.gitignore
Simple script to check that there aren't any duplicate events ran over with EventIdRecorder.
Use manual_datasets option.