more clean-up of headers/footers

2017-06-19 14:06:38 +02:00
parent fe19dad623
commit 4cd1355b8f
77 changed files with 369 additions and 0 deletions
@@ -68,3 +68,7 @@ int rand_bn_range(void *N, void *limit, prng_state *prng, int wprng)
   return CRYPT_OK;
 }
 #endif
+
+/* ref:         $Format:%D$ */
+/* git commit:  $Format:%H$ */
+/* commit time: $Format:%ai$ */