Cosmetic changes (whitespaces) and add comments at the top of the .str files to load...

[tatoo.git] / src / trace_js.ml.str

diff --git a/src/trace_js.ml.str b/src/trace_js.ml.str
index 382132a..4d17382 100644 (file)
--- a/src/trace_js.ml.str
+++ b/src/trace_js.ml.str
@@ -1,3 +1,4 @@
+// -*-Javascript-*-
 var old_timer = null;
 var old_node = null;