Alter Step 0618cfcac6 On El Capitan, /usr/local is not a good place to store binaries any more ...

So we store all the binaries in the preference pane

2015-11-05 23:42:57 +01:00

..

html

1.0.10

2015-07-23 10:15:01 +02:00

usr

On El Capitan, /usr/local is not a good place to store binaries any more

2015-11-05 23:42:57 +01:00