diff Makefile @ 39344:eecd68ca041d

shelve: drop mention of obsshelve file Core shelve extension does not use obsolescence, we clean up this unused file before adding a new info file.
author Boris Feld <boris.feld@octobus.net>
date Wed, 06 Jun 2018 00:48:24 +0200
parents 4ca5932065ca
children d0a6b2c8f8b6
line wrap: on
line diff