comparison Makefile @ 33514:169c97bbd94c

bookmark: drop deletedivergent It has no caller anymore.
author Boris Feld <boris.feld@octobus.net>
date Mon, 10 Jul 2017 20:06:15 +0200
parents 91ae09010950
children c5607b65fcb8
comparison
equal deleted inserted replaced
33513:904894edb205 33514:169c97bbd94c