hjd, are we still linking to other peoples fonts in our PPA? If so, could you change that? Our PPA should be as close to our upstream as possible. If some debian maintainer feels that Widelands should use other fonts, they should change it in their .deb. Agreed?
hjd, are we still linking to other peoples fonts in our PPA? If so, could you change that? Our PPA should be as close to our upstream as possible. If some debian maintainer feels that Widelands should use other fonts, they should change it in their .deb. Agreed?