diff options
author | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-09-22 05:08:26 -0300 |
---|---|---|
committer | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-09-22 05:08:26 -0300 |
commit | 379cb6eb270b0b26ddddb9170c6dcd0f756d1de5 (patch) | |
tree | 327e3b104fb8f5566e0cc9ba54488857e38fcaa2 /prtools/prtools.conf | |
parent | 7c02d4480f87936ba1351299072704a3744ede1d (diff) |
Fix skip on built_ok
Diffstat (limited to 'prtools/prtools.conf')
0 files changed, 0 insertions, 0 deletions