Revision ddf75b2bad93849fce31ae3ec0b3f53c8a848116

Committed on 05/12/2012 6:03 am by Arne <bratt@nvg.ntnu.no> [GitHub Diff]

Execution and origin info