mirror of
https://github.com/openocd-org/openocd.git
synced 2025-10-14 02:58:23 +08:00

Remove the configuration file, a replacement is already available. Link the old filename to the new configuration file to ensure backwards compatibility. Change-Id: I77cbd62d805b1c9b9bb8f56a823c3f6476d1a5a9 Signed-off-by: Marc Schink <dev@zapb.de> Reviewed-on: https://review.openocd.org/c/openocd/+/9150 Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com> Tested-by: jenkins