Additionally - switched the type of a visitor counter to ir_visited_t - add some doxygen docu [r28328]
Attach a file by drag & drop or click to upload
Michael Beck authored