Make title bold; Fix height when we have no menubar.

[bertos.git] / kern / proc.h

diff --git a/kern/proc.h b/kern/proc.h
index 25bfbae8bfcf3d9e0475e36e0f4ef632941e16a8..8378b1332c8a6265a6484b8cba0d13a97d3b332d 100755 (executable)
--- a/kern/proc.h
+++ b/kern/proc.h
@@ -3,7 +3,7 @@
  * <!--
  * Copyright 2001,2004 Develer S.r.l. (http://www.develer.com/)
  * Copyright 1999,2000,2001 Bernardo Innocenti <bernie@develer.com>
- * This file is part of DevLib - See devlib/README for information.
+ * This file is part of DevLib - See README.devlib for information.
  * -->
  *
  * \brief Process scheduler (public interface).
@@ -15,6 +15,9 @@
 
 /*#*
  *#* $Log$
+ *#* Revision 1.10  2005/11/04 16:20:02  bernie
+ *#* Fix reference to README.devlib in header.
+ *#*
  *#* Revision 1.9  2005/04/11 19:10:28  bernie
  *#* Include top-level headers from cfg/ subdir.
  *#*