DESERT - Bug #43: desert.gitignore file not needed anymore

Vincenzo Cimino
2025-12-10T16:27:28Z

Status changed from Resolved to Closed