Annotate

util-src/make.bat @ 12991:6d7e3d5463d8

mod_admin_shell: Simplify user creation when no role given Idea here is to prevent a user from being created with the default role if a different role was given, but that dance wouldn't be needed if no role is provided.
author Kim Alvefur <zash@zash.se>
date Sun, 26 Mar 2023 16:45:23 +0200
parent 446:5b5732d65792
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
446
5b5732d65792 Added make.bat for windows
Waqas Hussain <waqas20@gmail.com>
parents:
diff changeset
1 @nmake /nologo /f Makefile.win %*