diff options
Diffstat (limited to 'gpxe/src/config/timer.h')
| -rw-r--r-- | gpxe/src/config/timer.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gpxe/src/config/timer.h b/gpxe/src/config/timer.h index 7c3f3521..cc6a93d1 100644 --- a/gpxe/src/config/timer.h +++ b/gpxe/src/config/timer.h @@ -7,6 +7,8 @@ * */ +FILE_LICENCE ( GPL2_OR_LATER ); + #include <config/defaults.h> //#undef TIMER_PCBIOS |