da64d4e - Switch to Nodoka theme by default

Authored and Committed by cwickert 16 years ago
    - Switch to Nodoka theme by default
    - disable-static instead of removing *.a files
    
        
file modified
+9 -4