ignore generated Makefile part
authorVolker Birk <vb@pep-project.org>
Tue, 12 Jul 2016 19:11:38 +0200
changeset 852d47584b9944e
parent 851 817221f84763
child 853 2a7d4445fca0
ignore generated Makefile part
.hgignore
     1.1 --- a/.hgignore	Tue Jul 12 18:47:35 2016 +0200
     1.2 +++ b/.hgignore	Tue Jul 12 19:11:38 2016 +0200
     1.3 @@ -36,3 +36,4 @@
     1.4  *.skeleton
     1.5  .skeletons
     1.6  .statemachines
     1.7 +Makefile.protocols