Anna Lyons 761006e03b style: consistently align pointer with name ... Run astyle with align-pointer=name		2019-03-19 14:04:54 +11:00
..
interfaces	SELFOUR-1491: verification updates	2018-09-19 12:06:35 +10:00
sel4/arch	style: consistently align pointer with name	2019-03-19 14:04:54 +11:00