sam 36438eed8f Fix headers. 16 роки тому
..
dbs.c Fix headers. 16 роки тому
ediff.c Fix headers. 16 роки тому
ordered.c Fix headers. 16 роки тому
ostromoukhov.c Fix headers. 16 роки тому
random.c Fix headers. 16 роки тому