]> gitweb.factorcode.org Git - factor.git/commit
file-picker.linux: more correct to use gint instead of int.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 21 Oct 2015 23:57:45 +0000 (16:57 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 21 Oct 2015 23:57:45 +0000 (16:57 -0700)
commit4851a5e14dc29371a03bcdfedbeee6f0a4a06f4f
treefb52b723c6c35f2fee574a6efae3af352acb299d
parent9b5cb445ee65d70d6b16bd65abb979f932441b93
file-picker.linux: more correct to use gint instead of int.
extra/file-picker/linux/linux.factor