Daniel Martí 7351584697 Fix inconsistency in local_repo_https default state ...

+mvdan | _hc: you put https to default true in preferences.xml, but false in Preferences.java
   _hc | mvdan:  it should be off/false by default

2014-05-27 17:53:56 +02:00

..

preferences.xml

Fix inconsistency in local_repo_https default state

2014-05-27 17:53:56 +02:00

searchable.xml

Basic search implemented, just needs a bit of tidying up (e.g. tell you what you searched for)

2011-01-17 17:58:48 +00:00