replaces customized with diff patches
authorThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Mon, 13 Oct 2025 11:03:21 +0000 (11:03 +0000)
committerThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Mon, 13 Oct 2025 11:03:21 +0000 (11:03 +0000)
commit446d95783dcfcb98bbe8096cf09ac0f217362ab7
treee528509dac9d0f539ba543b86f2774556caffab0
parent529c1acd097648bb64a349cd68503bf45b04abb8
replaces customized with diff patches
tool_shared/customized/.githolder [deleted file]
tool_shared/document/install_generic.org [new file with mode: 0644]
tool_shared/patch/.githolder [new file with mode: 0644]