Commit 828bf6b
committed
fix(Condensed/Solid): fix file permissions (644 not 755)
Solid.lean was accidentally marked executable (mode 100755) in the previous
commit due to shutil.copy propagating permissions from the CLAUDE-DATA source.
Fixed by using shutil.copyfile (content only) + explicit chmod 644.
No Lean content changes.1 parent dcf9801 commit 828bf6b
1 file changed
File mode changed.
0 commit comments