diff options
| author | Guillermo Ramos | 2020-11-04 10:18:36 +0100 |
|---|---|---|
| committer | Guillermo Ramos | 2020-11-04 10:18:36 +0100 |
| commit | 0e7d446c978ea9d4413d072ad3bc50289175f4d2 (patch) | |
| tree | afacabc7f55216c6fddc693ffc3d41a0d1c3d89a /repo.xml | |
| parent | ab467ff9f743bcbc3191ee94aeecd56a40a3f46c (diff) | |
| download | gentoo-overlay-0e7d446c978ea9d4413d072ad3bc50289175f4d2.tar.gz | |
Add repo.xml
Diffstat (limited to 'repo.xml')
| -rw-r--r-- | repo.xml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/repo.xml b/repo.xml new file mode 100644 index 0000000..79b7ea8 --- /dev/null +++ b/repo.xml @@ -0,0 +1,14 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE repositories SYSTEM "/dtd/repositories.dtd"> +<repositories xmlns="" version="1.0"> + <repo quality="experimental" status="unofficial"> + <name>gramos</name> + <description>Gramos's gentoo overlay</description> + <homepage>https://git.gramos.me/?p=gentoo-overlay.git</homepage> + <owner type="project"> + <email>gramos@gramos.me</email> + <name>gramos</name> + </owner> + <source type="git">git@gramos.me:gentoo-overlay</source> + </repo> +</repositories> |