David Garske 573093ddf3 Move the .so to devel files. The pure *.so file is considered a dev file.

2023-12-12 08:15:05 -08:00

..

include.am

Init deb packaging

2023-08-23 22:01:12 +02:00

spec.in

Move the .so to devel files. The pure *.so file is considered a dev file.

2023-12-12 08:15:05 -08:00