diff options
author | Nick Cao <nickcao@nichi.co> | 2024-03-06 09:29:26 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-03-06 09:29:26 -0500 |
commit | a2c4602ccd6a9e32dac098abf38bd1fa0fe53dd4 (patch) | |
tree | a182c97d4738f7f0287ffc146f33565336de120b /doc/languages-frameworks/idris.section.md | |
parent | 28f43de6e0471ba26a0785fbdc473ca4b088ac8e (diff) | |
parent | 34d1238e34650f1db15b64a55e50a3cd1020e1d5 (diff) |
Merge pull request #293693 from vcunat/p/knot-bump
knot-dns: 3.3.4 -> 3.3.5
Diffstat (limited to 'doc/languages-frameworks/idris.section.md')
0 files changed, 0 insertions, 0 deletions