Gerben Jan Dijkman 5de35964e8 Added manifest		2022-07-01 15:40:56 +02:00
..
sqldeveloper	Added manifest	2022-07-01 15:40:56 +02:00