Branch: Tag:

2019-03-14

2019-03-14 10:39:03 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Merge commit '2470270f500c728d10b8895314d8d8b07016e37b' into grubba/typechecker-automap

* commit '2470270f500c728d10b8895314d8d8b07016e37b': (18681 commits)
Removed the old typechecker.
...

2018-02-15

2018-02-15 15:54:26 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Merge commit '75c9d1806f1a69ca21c27a2c2fe1b4a6ea38e77e' into patches/pike63

* commit '75c9d1806f1a69ca21c27a2c2fe1b4a6ea38e77e': (19587 commits)
...

2003-11-19

2003-11-19 03:37:21 by Martin Nilsson <mani@lysator.liu.se>

Let the pike -x hilfe tool be able to run commands given in command line.

Rev: lib/modules/Tools.pmod/Standalone.pmod/hilfe.pike:1.2

2003-09-18

2003-09-18 13:16:33 by Martin Nilsson <mani@lysator.liu.se>

Make hilfe a named tool as well.

Rev: lib/modules/Tools.pmod/Standalone.pmod/hilfe.pike:1.1