log .gitignore @ 2366:480585fec48a default tip

age author description
Thu, 22 Mar 2018 19:25:14 +0100 Mikael Berthe Add .gitignore for git mirrors