Commit 28e7648c authored by schrieveslaach's avatar schrieveslaach

Attempt to use Repo

parent d075c9e4
......@@ -12,3 +12,7 @@ In order to demonstrate PREvant the PKI has to be created:
cd certs
./build-a-pki.sh
```
Additionally, it is required to use [repo](https://source.android.com/setup/develop/repo) to manage the git repositories
of this demonstration. Make sure to install it ([AUR package](https://www.archlinux.org/packages/community/any/repo/) or
[Android Instructions](https://source.android.com/setup/build/downloading#installing-repo)).
<?xml version="1.0" encoding="UTF-8"?>
<manifest>
<remote name="github" fetch="https://github.com/schrieveslaach/" />
<project name="worblehat.git" remote="github" path="worblehat" revision="master"/>
</manifest>
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment