Fix typo in DPLL file name (#10723)
* Fix DPLL file name
* updating DIRECTORY.md
---------
Co-authored-by: github-actions <${GITHUB_ACTOR}@users.noreply.github.com> T
Tianyi Zheng committed
ce0ede6476fb14ba18ef03246b169a7e5615bdec
Parent: 6f2d6f7
Committed by GitHub <noreply@github.com>
on 10/20/2023, 7:08:23 AM