Jose Gracia 547d674482 packages/temanejo: fixed filename of omps plugin		2024-03-28 02:45:19 +01:00
..
temanejo-1.0_any	packages/temanejo: fixed filename of omps plugin	2024-03-28 02:45:19 +01:00
temanejo-1.0rc1	Added debugger/temanejo	2024-03-28 02:45:19 +01:00