diff options
author | Massimiliano Torromeo | 2018-06-29 17:37:45 +0200 |
---|---|---|
committer | Massimiliano Torromeo | 2018-06-29 17:37:45 +0200 |
commit | 0022f5dd2f4813c84ccc4ddae608941f5583ba13 (patch) | |
tree | c55389abfcb5eab0da9a702fdcf1004fc4b1a11f /lang_js-analyze-utils_js.mli.patch | |
download | aur-pfff.tar.gz |
Dropped from [community]
Diffstat (limited to 'lang_js-analyze-utils_js.mli.patch')
-rw-r--r-- | lang_js-analyze-utils_js.mli.patch | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/lang_js-analyze-utils_js.mli.patch b/lang_js-analyze-utils_js.mli.patch new file mode 100644 index 000000000000..c84ddcd32066 --- /dev/null +++ b/lang_js-analyze-utils_js.mli.patch @@ -0,0 +1,30 @@ +From 1658a7f55af6884644909901523a28d2df7416d7 Mon Sep 17 00:00:00 2001 +From: pad <yoann.padioleau@gmail.com> +Date: Thu, 20 Aug 2015 09:58:29 -0700 +Subject: [PATCH 68/72] * lang_js/analyze/utils_js.mli: fix issue #130 + +--- + lang_js/analyze/utils_js.mli | 9 +++++---- + 1 file changed, 5 insertions(+), 4 deletions(-) + +diff --git a/lang_js/analyze/utils_js.mli b/lang_js/analyze/utils_js.mli +index 637b832..19a8cbb 100644 +--- a/lang_js/analyze/utils_js.mli ++++ b/lang_js/analyze/utils_js.mli +@@ -1,8 +1,9 @@ + +-(** print utils **) ++(* print utils *) + val string_of_any : Ast_js.any -> string + +-(** Example: load file task **) +-(** if file exists, unmarshal data in the file and return it **) +-(** otherwise, run task to generate data, store it in the file, and return it **) ++(* Example: load file task ++ * if file exists, unmarshal data in the file and return it ++ * otherwise, run task to generate data, store it in the file, and return it ++ *) + val load : Common.filename -> (unit -> 'a) -> 'a +-- +2.5.0 + |