option to enable extensions

This commit is contained in:
DYefremov
2023-02-11 10:04:04 +03:00
parent 20120e0db4
commit 9eb4cdc574
13 changed files with 64 additions and 3 deletions