diff options
| author | Stephen Margheim <stephen.margheim@gmail.com> | 2020-01-14 19:53:04 +0300 |
|---|---|---|
| committer | Rasmus <rasmus@notion.se> | 2020-01-14 19:53:04 +0300 |
| commit | a385f8edb73db94abcd27acdff496a995c967f8a (patch) | |
| tree | 18a68ce7473de15974cdee445c3e5a40c409f66a /docs/index.html | |
| parent | 0cc708d7cb7aa4471ae3066dc34e84c226777dc6 (diff) | |
| download | inter-a385f8edb73db94abcd27acdff496a995c967f8a.tar.xz | |
Fix some small types in the FAQ (#223)
Diffstat (limited to 'docs/index.html')
| -rw-r--r-- | docs/index.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/index.html b/docs/index.html index a85e5d3ea..a8fbd7930 100644 --- a/docs/index.html +++ b/docs/index.html @@ -503,7 +503,7 @@ html { font-family: 'Inter', sans-serif; } <h4 id="faq-start-date"><a href="#faq-start-date"> This website claims work started in 2016, but the git repository's log says it started later? </a></h4> - Inter was developed in an a private, internal git repository + Inter was developed in a private, internal git repository starting in November 2016, prior to being published on August 22, 2017. Between November 2016 and August 2017, there were <num>2 990 150</num> line edits made across 247 versions. @@ -512,7 +512,7 @@ html { font-family: 'Inter', sans-serif; } the author works and had some sensitive information "checked in", like AWS server details and internal author identity in all commit messages. Maybe one day we can write an elaborate git - filter-branch program and convert the filter the old repository to make + filter-branch program and convert the old repository to make it public, but what would be the point of that? :—) </c> |