mod_line_edit is a general-purpose filter for text documents. It operates as a simple on-the-fly line editor, applying search-and-replace rules defined in a configuration or .htaccess file. WWW: http://apache.webthing.com/mod_line_edit/ tion/atom+xml'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/math
Commit message (Expand)AuthorAgeFilesLines
* math/onednn: Update 1.3 -> 1.4Yuri Victorovich2020-04-193-6/+7
* math/deal.ii: Unbreak the MPI option with the message about how math/sundials...Yuri Victorovich2020-04-191-3/+3
* - Update to 2.6.1.Stephen Montgomery-Smith2020-04-192-4/+4
* Adding pynac, a derivative of the C++ library GiNaC, which allows manipulationThierry Thomas2020-04-18