diff --git a/bin/hilfe b/bin/hilfe index 6157cd6f132572dbe546fc01868de335016b6be4..5be1e363e83d62a57bb9b06f8c5768578566cdce 100755 --- a/bin/hilfe +++ b/bin/hilfe @@ -214,7 +214,7 @@ void cut_buffer(int where) void print_version() { write(version()+ - " running Hilfe v1.5 (Incremental Pike Frontend)\n"); + " running Hilfe v1.6 (Incremental Pike Frontend)\n"); }