mirror of
https://github.com/rsms/inter.git
synced 2024-11-17 07:47:33 +01:00
Fix some small types in the FAQ (#223)
This commit is contained in:
parent
0cc708d7cb
commit
a385f8edb7
1 changed files with 2 additions and 2 deletions
|
@ -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>
|
||||
|
||||
|
|
Loading…
Reference in a new issue