diff options
author | Pjotr Prins | 2022-12-05 09:18:00 -0600 |
---|---|---|
committer | Pjotr Prins | 2022-12-05 09:18:00 -0600 |
commit | e808ddf723dfb7d7a2094eec4d85e96e63ee7a3a (patch) | |
tree | d938c2a6686e92438fb3e43ba8c33f0f543c9ab7 | |
parent | 938d50706127d1d12d5015c41be892261075e5e5 (diff) | |
download | gn-docs-e808ddf723dfb7d7a2094eec4d85e96e63ee7a3a.tar.gz |
Rename
-rw-r--r-- | features/index.md (renamed from features/index.gmi) | 0 | ||||
-rw-r--r-- | features/search.md (renamed from features/search.gmi) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/features/index.gmi b/features/index.md index 34b0be6..34b0be6 100644 --- a/features/index.gmi +++ b/features/index.md diff --git a/features/search.gmi b/features/search.md index dad4373..dad4373 100644 --- a/features/search.gmi +++ b/features/search.md |