add missing armadillo & bogged options, closes #1527

This commit is contained in:
granny
2024-06-13 17:06:34 -07:00
parent cc56332b4e
commit f1c87e4fee
85 changed files with 772 additions and 633 deletions

File diff suppressed because it is too large Load Diff