diff options
Diffstat (limited to 'hal-utilities')
| l--------- | hal-utilities | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/hal-utilities b/hal-utilities deleted file mode 120000 index 8f9ddfa..0000000 --- a/hal-utilities +++ /dev/null @@ -1 +0,0 @@ -../hal-utilities-4a
\ No newline at end of file |