log jagcpu.h @ 2515:0775f5e0c468 default tip

age author description
Thu, 22 Dec 2016 19:54:11 -0800 Michael Pavone Added Jaguar header missed in earlier commits