Style and spelling fixes.

2014-12-08 14:40:14 -08:00
parent 59cd80e6c6
commit e12eaf93dc
20 changed files with 36 additions and 40 deletions
@@ -1,6 +1,4 @@
-/*
- * Simple timer, for use in benchmark reporting.
- */
+/* Simple timer, for use in benchmark reporting. */

 #include <sys/time.h>