New Makefile target realdistclean.
treea1d044a42c48248b9d7590ac5a78c334cd3d0e6b
-rw-r--r-- 137 .gitignore
-rw-r--r-- 974 RELEASE_NOTES
-rw-r--r-- 9801 TODO
-rw-r--r-- 28 VERSION
-rwxr-xr-x 4292 config.sh
drwxr-xr-x - doc
-rw-r--r-- 272 makefile.depend
-rw-r--r-- 2043 makefile.in
-rw-r--r-- 1424 mpsl.h
-rw-r--r-- 5562 mpsl.l
-rw-r--r-- 13937 mpsl.y
-rw-r--r-- 14344 mpsl_c.c
-rw-r--r-- 10616 mpsl_f.c
-rw-r--r-- 2565 mpsl_m.c
drwxr-xr-x - scripts
-rw-r--r-- 18223 stress.c
-rw-r--r-- 7572 test.mpsl
-rw-r--r-- 228 test2.mpsl