From 04df3640cee5ca63d4e728d098d0d125f8196472 Mon Sep 17 00:00:00 2001
From: Angus Gratton <gus@projectgus.com>
Date: Tue, 27 Oct 2015 09:12:44 +1100
Subject: [PATCH] Remove redundant symbols_norename.txt

No longer used, and all the symbols in those lists are found in newlib
libc or our own source code now.
---
 lib/symbols_norename.txt | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 lib/symbols_norename.txt

diff --git a/lib/symbols_norename.txt b/lib/symbols_norename.txt
deleted file mode 100644
index 2a4b315..0000000
--- a/lib/symbols_norename.txt
+++ /dev/null
@@ -1,10 +0,0 @@
-# stop-gap until esptool.py patch for configurable entry point is merged
-call_user_start
-# this is a stop-gap to avoid renaming some useful libc
-# symbols to sdk_xxx
-puts
-printf
-putchar
-rand
-srand
-atoi