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-editor.ads | |
parent | 3592854ef4ebeab8c099defb5745623eb849111b (diff) |
Made logo code more concise
Diffstat (limited to 'src/windows-editor.ads')
-rw-r--r-- | src/windows-editor.ads | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/windows-editor.ads b/src/windows-editor.ads index 4b9afce..890242a 100644 --- a/src/windows-editor.ads +++ b/src/windows-editor.ads @@ -2,7 +2,6 @@ with - FLTK.Widgets.Groups.Windows.Double, FLTK.Widgets.Menus, FLTK.Text_Buffers, FLTK.Widgets.Groups.Text_Displays; |