diff options
| author | Omar Polo <op@omarpolo.com> | 2021-01-11 13:08:00 +0000 |
|---|---|---|
| committer | Omar Polo <op@omarpolo.com> | 2021-01-11 13:08:00 +0000 |
| commit | 3c1cf9d07cb679ba444566159538b510902f2de9 (patch) | |
| tree | 3f3e8abbbddd868cd3553bb6d7e15d5667f266f6 /.gitignore | |
| parent | 28778244d67be7024868a5095e5eedda22a3ed98 (diff) | |
s/uri/iri since we accept IRIs
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,6 +2,6 @@ cert.pem key.pem TAGS gmid -uri_test +iri_test *.o docs |