Skip to content
Snippets Groups Projects
Unverified Commit 5f735983 authored by Tom Wilkie's avatar Tom Wilkie Committed by GitHub
Browse files

Rename Tempo to Loki. (#36)


* Rename Tempo to Loki.

Signed-off-by: default avatarTom Wilkie <tom.wilkie@gmail.com>

* Use new build image, don't delete generated files on clean.

Signed-off-by: default avatarTom Wilkie <tom.wilkie@gmail.com>
parent 2bed54ff
No related branches found
No related tags found
Loading
Showing with 116 additions and 112 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment