diff options
author | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-05-26 02:45:39 +0200 |
---|---|---|
committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-05-26 02:45:39 +0200 |
commit | 26bc355c9a48db514efda6cb631f40b4f371ccef (patch) | |
tree | f79bb1c01801b913148af29cb48802d233677978 /Makefile.dev | |
parent | 715388a4796aedb82cd6c7d5f51a21e3d655db4f (diff) |
[votour] Fix/disable warnings.
Diffstat (limited to 'Makefile.dev')
0 files changed, 0 insertions, 0 deletions