Drop unused tools/list_notices.py

vfaronov · Jun 27, 2019 · ee31471 · ee31471
1 parent 95fb044
commit ee31471
Showing 1 changed file with 0 additions and 12 deletions.
diff --git a/tools/list_notices.py b/tools/list_notices.py