diff options
| author | Erich Eckner <git@eckner.net> | 2017-05-18 15:45:26 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-05-18 15:45:26 +0200 |
| commit | a17e5c2691bc234e791dd3fccaf14882d2b6e273 (patch) | |
| tree | bb55ca600c7a9d05fcacf355f66b777b4b6732bb | |
| parent | 4a5612e00223059815368221e6abfb0a297127e8 (diff) | |
| download | builder-a17e5c2691bc234e791dd3fccaf14882d2b6e273.tar.xz | |
update README.md
| -rw-r--r-- | README.md | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -37,5 +37,7 @@ packages to be deleted current revisions of the respective repository * `package-infos`: meta data of packages -* `packages`, `community`, `packages32`: +* `package-states`: +information on build process of packages (lock files, markers for broken packages) +* `repos/packages`, `repos/community`, `repos/packages32`: git repositories of PKGBUILDs and modifications |