diff options
| author | Leo Famulari <leo@famulari.name> | 2017-08-04 11:37:42 -0400 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2017-10-14 23:08:04 -0400 |
| commit | 581b6e4fee990a4d89c58708ed2c453dc383f6f1 (patch) | |
| tree | 7ebb73b105dc3d1d99d0f0f6321828a0d6fd4a6f /tests | |
| parent | 2f898fd8ba95cebc3dc7c82106e5761526e14ca8 (diff) | |
| download | cuirass-581b6e4fee990a4d89c58708ed2c453dc383f6f1.tar cuirass-581b6e4fee990a4d89c58708ed2c453dc383f6f1.tar.gz | |
doc: Clarify the relationship of "repo_name" and "name".
* doc/cuirass.texi (Specifications): Mention "name".
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions