diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2017-07-31 00:16:24 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2017-07-31 00:16:24 +1000 |
| commit | f7bfc040a062b3f5a3549abd87463221c667f1d5 (patch) | |
| tree | 8c5564a52f242bef674176a03b66e1812c8975a6 /src/windows-jump.ads | |
| parent | 3592854ef4ebeab8c099defb5745623eb849111b (diff) | |
Made logo code more concise
Diffstat (limited to 'src/windows-jump.ads')
| -rw-r--r-- | src/windows-jump.ads | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/windows-jump.ads b/src/windows-jump.ads index e9c0be5..e79af6c 100644 --- a/src/windows-jump.ads +++ b/src/windows-jump.ads @@ -1,9 +1,5 @@ -with - - FLTK.Widgets.Groups.Windows.Double; - private with FLTK.Widgets.Buttons.Enter, |