diff options
| author | eine <eine@users.noreply.github.com> | 2020-06-07 09:42:51 +0200 |
|---|---|---|
| committer | eine <eine@users.noreply.github.com> | 2020-06-07 09:59:45 +0200 |
| commit | 408dba854864c4283a0e80cdb05edefee888619b (patch) | |
| tree | 535c51c3719cc57517def05d9be09fd47c94abe2 /.gdbinit | |
| parent | 9993f167fb9a7e45ea233447d9257df04339c250 (diff) | |
| download | ghdl-408dba854864c4283a0e80cdb05edefee888619b.tar.gz ghdl-408dba854864c4283a0e80cdb05edefee888619b.tar.bz2 ghdl-408dba854864c4283a0e80cdb05edefee888619b.zip | |
doc: update list of contributors
Diffstat (limited to '.gdbinit')
0 files changed, 0 insertions, 0 deletions