
let version="0.1.0"

let cocciext  = ".cocci"
let origext   = ".orig.org"
let correlext = ".correl.org"
let patchext  = ".patchset"
let editext   = ".edit.org"
let bugext    = ".new.org"
let existext  = ".exist"
let listext   = ".list"

let sep = "_"
