Michał Kowalczyk 19b8dee8ee pal_loader: Disable the annoying GDB banner ...

Because GDB is awesome this isn't actually configurable in .gdbinit (or
at least I couldn't find any way to do this) and we need to fix it via
the commandline.

2020-04-25 02:14:31 +02:00

..

.gitignore

[.gitignore] Remove * from .gitignore files

2020-02-11 12:15:56 -08:00

Makefile

[Make] Consistently use $(RM) instead of rm -f

2020-02-12 01:09:21 +01:00

pal_loader

pal_loader: Disable the annoying GDB banner

2020-04-25 02:14:31 +02:00