De-document eval() in ginsh help and manpage.
[ginac.git] / ginsh / ginsh_op_help.py
2012-07-17 Alexei Sheplyakov[build] Rewrite ginsh related sed scripts in python.