git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e019d14) | patch
Add Ast.to_shell_script.
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 27 Dec 2019 19:56:19 +0000 (19:56 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 27 Dec 2019 20:19:07 +0000 (20:19 +0000)
commit0de7a5031184c2f0023c0aea0898a16fd4641dc5
tree9da66f960e0d226bad7341469038719527dff71dtree | snapshot
parente019d14d15d5caa90892f4c21d8424dbc95067aecommit | diff
Add Ast.to_shell_script.

Previously we were confusing Ast.substitute with the place where we
need to shell quote.
src/ast.ml diff | blob | history
src/ast.mli diff | blob | history
src/eval.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.