Add files via upload

This commit is contained in:
moruiris
2021-10-16 16:24:23 +08:00
committed by GitHub
parent c393b4e35d
commit 6f88677448
5 changed files with 20784 additions and 0 deletions

6615
Lean/R3P/.config Normal file

File diff suppressed because it is too large Load Diff

7311
Lean/R3P/closed.config Normal file

File diff suppressed because it is too large Load Diff

2
Lean/R3P/diy-part1.sh Normal file
View File

@ -0,0 +1,2 @@
#!/bin/bash
#

2
Lean/R3P/diy-part2.sh Normal file
View File

@ -0,0 +1,2 @@
#!/bin/bash
#

6854
Lean/R3P/open.config Normal file

File diff suppressed because it is too large Load Diff