diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-02-23 09:44:00 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-02-23 09:44:00 +0000 |
commit | 8d15cb8238a384acdb70250a0cd213f2ab5f0ab6 (patch) | |
tree | 547dd4d959be6b14e702d37e94063dc2104319a5 /dev-embedded/mcu8051ide/metadata.xml | |
parent | 71fb24e4cc15fe73651423df81c5e6a79fa8c142 (diff) |
gentoo auto-resync : 23:02:2023 - 09:44:00
Diffstat (limited to 'dev-embedded/mcu8051ide/metadata.xml')
-rw-r--r-- | dev-embedded/mcu8051ide/metadata.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-embedded/mcu8051ide/metadata.xml b/dev-embedded/mcu8051ide/metadata.xml index e72f952f3b57..b14cae3a5f32 100644 --- a/dev-embedded/mcu8051ide/metadata.xml +++ b/dev-embedded/mcu8051ide/metadata.xml @@ -8,5 +8,6 @@ <email>martin.osmera@gmail.com</email> <name>Martin Osmera</name> </maintainer> + <remote-id type="sourceforge">mcu8051ide</remote-id> </upstream> </pkgmetadata> |