From a385f8edb73db94abcd27acdff496a995c967f8a Mon Sep 17 00:00:00 2001 From: Stephen Margheim Date: Tue, 14 Jan 2020 17:53:04 +0100 Subject: Fix some small types in the FAQ (#223) --- docs/index.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/index.html') 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; }

This website claims work started in 2016, but the git repository's log says it started later?

- 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 2 990 150 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?  :—) -- cgit v1.2.3