diff options
author | Bui <bui@g.pl> | 2012-12-26 09:52:55 +0000 |
---|---|---|
committer | Bui <bui@g.pl> | 2012-12-26 09:52:55 +0000 |
commit | 2406c45077fde76b37d6676ad76823d096764087 (patch) | |
tree | ad127883ae62b865d1d8998adb40e5aaa1dd9785 /src/htm/Resources | |
parent | 8fe3c40278c7ef57984f37ff4b479dbadf831abc (diff) |
fix configure error related to Python headers on Ubuntu 13.04
Diffstat (limited to 'src/htm/Resources')
0 files changed, 0 insertions, 0 deletions