add timing information

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
14 years ago · 2d0158ef89
parent ac157aa442
commit 2d0158ef89
1 changed files with 3 additions and 0 deletions
--- a/doc/dev/logs/times
+++ b/doc/dev/logs/times
@ -0,0 +1,3 @@
+
+# version comment sourcehost seconds hosts 
+1.6.2-24-gac157aa donotcreateemptycode kr 17 kr