tree 7dae02bc310a7d207719457fff67bb8c314626b5
parent dbed985d1ccb9412fd19171a3ecfb621bb9d0a6b
author Darth9 <reyprimerjefe@gmail.com> 1685383783 +0100
committer Darth9 <reyprimerjefe@gmail.com> 1685383783 +0100

Remove the obsolete hcdumlock stuff

Change-Id: I43862c7be28c0e8da6befee2393a99ec715683dd