add timestamp in pl_boot messages
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 23 Sep 2008 15:46:12 +0000 (15:46 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 23 Sep 2008 15:46:12 +0000 (15:46 +0000)
commit7c0fa5e1b4849ef40b258003893943c6e7d7cc3b
tree649317ce2dc27b3ed00583f6e6593e254c9e322f
parent406833a858a8d78805981cfeca961477da7f93f1
add timestamp in pl_boot messages
conf_files/pl_boot