tree 086c2f8f5ca8b78124d6f91fa1cc793f05dab372
parent 06fa09b13df31ddb5b7c27b438cd8a4b5a9d1a8d
author Marc Kupietz <kupietz@ids-mannheim.de> 1615839004 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1615843197 +0100

Do not ignore .github folder in .gitignore

Change-Id: I75c2a1fa998bfdfc3094514786aabc0866d03a99