Rev: bin/make_ci.pike:1.5
Rev: src/builtin_functions.c:1.292
Rev: src/dummy_ci.h:1.4

Rev: bin/make_ci.pike:1.4

Rev: bin/make_ci.pike:1.3
Rev: src/builtin_functions.c:1.161
Rev: src/dummy_ci.h:1.2

Rev: bin/make_ci.pike:1.2

Rev: bin/make_ci.pike:1.1
Rev: src/dummy_ci.h:1.1