diff --git a/doc/dev/logs/times b/doc/dev/logs/times new file mode 100644 index 00000000..c6af31b6 --- /dev/null +++ b/doc/dev/logs/times @@ -0,0 +1,3 @@ + +# version comment sourcehost seconds hosts +1.6.2-24-gac157aa donotcreateemptycode kr 17 kr