util-src/make.bat
author Kim Alvefur <zash@zash.se>
Thu, 04 Nov 2021 01:00:06 +0100
branch0.11
changeset 12093 76b4e3f12b53
parent 446 5b5732d65792
permissions -rw-r--r--
mod_pep: Wipe pubsub service on user deletion Data is already wiped from storage, but this ensures everything is properly unsubscribed, possibly with notifications etc. Clears recipient cache as well, since it is no longer relevant.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
446
5b5732d65792 Added make.bat for windows
Waqas Hussain <waqas20@gmail.com>
parents:
diff changeset
     1
@nmake /nologo /f Makefile.win %*