<?xml version="1.0" encoding="utf-8"?>
<resources>

  <!--
    The name under the launcher icon, for both channels.

    A resource rather than the literal that used to be in the manifest, because the launcher reads the
    *activity's* label and that one is written in a C# attribute where no MSBuild property can reach —
    so a single @string is the only place the two can be answered at once, and this is the hook if they
    ever need different answers.

    ◆ THEY DO NOT GET DIFFERENT ANSWERS TODAY, AND THAT IS A GIVING-UP RATHER THAN A DECISION. A nightly
    installed beside a release puts two identically named icons on the home screen, which is a real if
    small defect. Four ways to vary it per channel were tried and none reached the launcher; the findings
    are in docs/platform-flags.md so the next attempt starts further along. What tells the two apart in
    the meantime is the package name in Android's app info, the version, and the channel the application
    names on its own preferences screen.
  -->
  <string name="app_name">DodoSSH</string>

</resources>
