remove obsolete comments
authorChristian Grothoff <christian@grothoff.org>
Tue, 19 Feb 2019 14:43:27 +0000 (15:43 +0100)
committerChristian Grothoff <christian@grothoff.org>
Tue, 19 Feb 2019 14:43:27 +0000 (15:43 +0100)
commita47969b03be93336a15c2500e8ca510597b53c21
tree645e73aeafca3b5e623c93bd93cbc54a8d03e94a
parent85da213dd8171bdd57d994142812ad2175db1081
remove obsolete comments
README