diff options
| author | toni <matzeton@googlemail.com> | 2016-07-25 02:50:25 +0200 |
|---|---|---|
| committer | toni <matzeton@googlemail.com> | 2016-07-25 02:50:25 +0200 |
| commit | 7c015fc16c301a2db2056fd1a58e6085033d2035 (patch) | |
| tree | 1354f7d858ae5a4c603ad06574ea3c46cff0cc79 /debian | |
| parent | 19ec491f008b94261bbcaf8f432a544912fc96a9 (diff) | |
added sem_* library check
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions