Martin Gruner 24c3bdfd87 Maintenance: Update copyright header.		2022-01-01 14:38:12 +01:00
..
object.rb	Maintenance: Update copyright header.	2022-01-01 14:38:12 +01:00
type.rb	Maintenance: Update copyright header.	2022-01-01 14:38:12 +01:00