sam 36438eed8f Fix headers. 16 lat temu
..
dbs.c Fix headers. 16 lat temu
ediff.c Fix headers. 16 lat temu
ordered.c Fix headers. 16 lat temu
ostromoukhov.c Fix headers. 16 lat temu
random.c Fix headers. 16 lat temu