diff bootstrap @ 28235:a6edb8097ec6

endsWith.m: delete duplicate line in docstring.
author Markus Mützel <markus.muetzel@gmx.de>
date Wed, 22 Apr 2020 13:23:05 +0200
parents c45a0d7e9385
children f00e92f9e85b
line wrap: on
line diff