[build] Rewrite ginsh related sed scripts in python.
[ginac.git] / ginsh /
drwxr-xr-x   ..
-rw-r--r-- 705 Makefile.am
-rw-r--r-- 14973 ginsh.1.in
-rw-r--r-- 1733 ginsh.h
-rw-r--r-- 1273 ginsh_extensions.h
-rwxr-xr-x 1558 ginsh_fcn_help.py
-rw-r--r-- 5299 ginsh_lexer.ll
-rwxr-xr-x 1271 ginsh_op_help.py
-rw-r--r-- 26652 ginsh_parser.yy