commit | e4ba7c70b3351f6fee76be1f1c7f863646d2d3ec | [log] [tgz] |
---|---|---|
author | Jiri Slaby <jirislaby@gmail.com> | Tue Sep 04 14:32:58 2012 +0200 |
committer | Jiri Slaby <jirislaby@gmail.com> | Tue Sep 04 14:32:58 2012 +0200 |
tree | 5ccfeed3682c2a58c3169b04bb5559e152c103da | |
parent | d0a4ed4637add5b022062d83d75398f3ab88961d [diff] |
ai: add support for ptreadchecker Signed-off-by: Jiri Slaby <jirislaby@gmail.com>