| commit | 471e27e22e51217f447d571e858cd7069084ff47 | [log] [tgz] |
|---|---|---|
| author | Marc Kupietz <kupietz@ids-mannheim.de> | Tue Jul 14 13:02:17 2020 +0200 |
| committer | Marc Kupietz <kupietz@ids-mannheim.de> | Tue Jul 14 13:02:17 2020 +0200 |
| tree | 6fbb95457f5fde1f4cbaf9c9fc6a2539d99ee98c | |
| parent | ba46223e46d7f02f8aace61a907e34b3dc6da3d8 [diff] |
Remove .github from .gitignore Change-Id: I6b59cd2398d2b55cdcdaa09a7ab9b0d19850a5ac
diff --git a/.gitignore b/.gitignore index cbec024..044bf9c 100644 --- a/.gitignore +++ b/.gitignore
@@ -10,6 +10,7 @@ *~ .* !.gitignore +!.github # /src/main/antlr/cosmas/ /src/main/antlr/cosmas/c2ps_regex.g