Use 'ao-dbg' instead of 's51' to communicate with TeleMetrum
[fw/sdcc] / device / lib / pic16 / libsdcc / int /
drwxr-xr-x   ..
-rw-r--r-- 1553 divsint.c
-rw-r--r-- 1657 divuint.c
-rw-r--r-- 1490 modsint.c
-rw-r--r-- 1640 moduint.c
-rw-r--r-- 1712 mulint.c