[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[no subject]
From: |
Leo Famulari |
Date: |
Sat, 14 Oct 2017 23:19:06 -0400 (EDT) |
branch: master
commit 581b6e4fee990a4d89c58708ed2c453dc383f6f1
Author: Leo Famulari <address@hidden>
Date: Fri Aug 4 11:37:42 2017 -0400
doc: Clarify the relationship of "repo_name" and "name".
* doc/cuirass.texi (Specifications): Mention "name".
---
doc/cuirass.texi | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/doc/cuirass.texi b/doc/cuirass.texi
index 779450c..ec81245 100644
--- a/doc/cuirass.texi
+++ b/doc/cuirass.texi
@@ -231,7 +231,9 @@ Entries in this table must have values for the following
text fields:
@table @code
@item repo_name
This field holds the name of the repository. This field is also the
-primary key of this table.
+primary key of this table. Although this field is called
address@hidden in the database, it's called @code{name} in the
+specification itself.
@item url
The URL of the repository.