Nomenclature
commit35e82f69c0b1757c3a434c35071a20c0e00c8844
authormalc <moosotc@gmail.com>
Tue, 22 May 2018 04:35:56 +0000 (22 07:35 +0300)
committermalc <moosotc@gmail.com>
Tue, 22 May 2018 04:35:56 +0000 (22 07:35 +0300)
treee9dcdb45c1c4fcb51b4b25ee06ad2c4545833933
parent2b35c4e2cc60b896f84846fad53a2181f9a81861
Nomenclature
config.ml
genconfstr.sh
link.c
utils.ml
wsi/x11/wsi.ml