diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2018-03-23 17:32:14 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2018-03-23 17:32:14 +1100 |
| commit | 7251c3cbd8587fc1aad05c0ba0ce23b68a920312 (patch) | |
| tree | 47a7c062aea30e326ef93d82bc3da4713482a90e /src/fltk-devices.ads | |
| parent | 04b80586bb52e02c0d081215d14ef7356b1f5af8 (diff) | |
Added FLTK.Devices.Graphics
Diffstat (limited to 'src/fltk-devices.ads')
| -rw-r--r-- | src/fltk-devices.ads | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/fltk-devices.ads b/src/fltk-devices.ads new file mode 100644 index 0000000..fcf9848 --- /dev/null +++ b/src/fltk-devices.ads @@ -0,0 +1,16 @@ + + +package FLTK.Devices is + + + type Device is new Wrapper with private; + + +private + + + type Device is new Wrapper with null record; + + +end FLTK.Devices; + |