Ubuntu
universalindentgui package

  1. Bug #718936
  2. Comment #3

Comment 3 for bug 718936

Revision history for this message
Julian Taylor (jtaylor) wrote :

attached patch that fixes the build problem