Merge branch 'ore_1.8.12.0' into 'master'

Ore 1.8.12.0 See merge request qs/ore-github!55
OpenSourceRisk · May 28, 2024 · 997b671 · 997b671
2 parents 03da410 + be6e9ea
commit 997b671
Show file tree

Hide file tree

Showing 8 changed files with 0 additions and 0 deletions.
diff --git a/Docs/amc.pdf b/Docs/amc.pdf
diff --git a/Docs/computeenvironment.pdf b/Docs/computeenvironment.pdf
diff --git a/Docs/creditmodel.pdf b/Docs/creditmodel.pdf
diff --git a/Docs/formulabasedcoupon.pdf b/Docs/formulabasedcoupon.pdf
diff --git a/Docs/ore_design.pdf b/Docs/ore_design.pdf
diff --git a/Docs/scriptedtrade.pdf b/Docs/scriptedtrade.pdf
diff --git a/Docs/userguide.pdf b/Docs/userguide.pdf
diff --git a/userguide.pdf b/userguide.pdf