oscar-cluster / oscar

OSCAR main source repository.
GNU General Public License v2.0
13 stars 2 forks source link

[rapt] generation of repository meta-date based on the local distro codename #544

Closed dikim33 closed 7 years ago

dikim33 commented 7 years ago

Reported by valleegr on 23 Apr 2009 04:20 UTC When using the current version of rapt to generate the meta-data of a repository, the codename of the local distro is used. As a result, it is not possible to generate the meta-data for a distro different from the local distro.

dikim33 commented 7 years ago

Comment by valleegr on 23 Apr 2009 17:49 UTC (In [8441]) This check-in fixes #545 - The generation of repository meta-data is now based on the repository codename and not anymore on local distro codename.