Sebastian Huber feea03b625 Remove explicit file names from @file ...

This makes the @file documentation independent of the actual file name.

Update #3707.

2019-02-28 11:47:33 +01:00

..

irq.c

Remove explicit file names from @file

2019-02-28 11:47:33 +01:00