Rename option controlling API to deny

This commit is contained in:
Aoran Zeng
2025-10-27 22:05:17 +08:00
parent 28d8e4ad0c
commit 1058d3310b
52 changed files with 86 additions and 86 deletions

View File

@@ -18,7 +18,7 @@ pl_ocaml_prelude ()
chef_set_sauciers (this, 1, "@hezonglun");
chef_allow_local_mode (this, CanNot, NULL, NULL);
chef_forbid_english(this);
chef_deny_english(this);
chef_allow_user_define(this);
def_sources_begin()