user/linus/catlfish.git/tools, branch erlmerge

Stop importing unused function.

2017-01-30T15:38:45+00:00

Work with permdb too.

2017-01-30T15:28:38+00:00

Parallelised merge, distribution phase.

2017-01-30T08:54:08+00:00

Remove an unused variable.

2017-01-24T08:33:26+00:00

Add a "generated by" header to the generated file.

2017-01-24T08:21:16+00:00

Rename a variable for consistency.

2017-01-24T08:16:28+00:00

Merge remote-tracking branch 'refs/remotes/map/config-api-key'

2017-01-23T14:47:12+00:00

API keys are now provided in the config file.

2017-01-19T23:32:45+00:00

Also added CA cert verification for internal TLS connections.

Update copyright headers.

2017-01-12T22:25:39+00:00

Remove offending use of datetime.now().

2016-12-05T00:43:59+00:00

I don't really understand why this happens but I wonder if it might be
because we 'from datetime import datetime' twice through the wildcard
inclusion of certtools.

Should stop do wildcard include and instead do

from certtools import create_ssl_context, get_sth, get_proof_by_hash, verify_inclusion_proof, write_file