diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2020-10-19 01:11:08 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2020-10-19 01:11:08 +0100 |
| commit | 3954234a0caaab381744ef15d5b667fbebe56260 (patch) | |
| tree | 9a3639ad7a4219837081df622ee8d00c03a8378b /doc/gpl.texi | |
| parent | 9b0c15fa3a559c1cb07457fb96b8fd175f01fb95 (diff) | |
| download | mdk-3954234a0caaab381744ef15d5b667fbebe56260.tar.gz mdk-3954234a0caaab381744ef15d5b667fbebe56260.tar.bz2 | |
Current line and breakpoint icons
Diffstat (limited to 'doc/gpl.texi')
0 files changed, 0 insertions, 0 deletions