* include/grub/boottime.h: Add missing file.

diff --git a/ChangeLog b/ChangeLog
index dd9c97a74a75e4d8fc90df6d239b4d287cd09da9..0c28b11238dd77e398aeacba85364ffbf6678ab0 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2013-03-20  Vladimir Serbinenko  <phcoder@gmail.com>
+
+       * include/grub/boottime.h: Add missing file.
+
 2013-03-19  Vladimir Serbinenko  <phcoder@gmail.com>
 
        Initialize USB ports in parallel to speed-up boot.

diff --git a/include/grub/boottime.h b/include/grub/boottime.h
new file mode 100644 (file)
index 0000000..e69de29