Fix a Makefile cut&paste.
[TD_SE.git] / peterson /
2018-03-03  Jérôme BenoitFix a Makefile cut&paste.
2018-03-03  Jérôme BenoitPeterson locking primitive course code.