Merge pull request #3898 from Infisical/daniel/remove-mint

Browse Source

docs: remove mint.json file in favor of docs.json

...

This commit is contained in:

Maidul Islam

2025-07-01 19:01:42 -04:00

committed by GitHub

parent 83f0a500bd cada75bd0c

commit 4784f47a72

1 changed files with 0 additions and 2241 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

2241

docs/mint.json

File diff suppressed because it is too large Load Diff