Project

General

Profile

« Previous | Next » 

Revision 12139

schemas/Makefile: %/uninstall, %/publish: use new public.rm(), publish(), which encapsulate the process of renaming multiple related schemas and also allow additional auxiliary schemas beyond just *_validation

  • added
  • modified
  • copied
  • renamed
  • deleted