[O] org-mobile: how to get rid of .org file?

[Nikolaus Rath]

Hello,

I accidentally created a file 'from_mobile.org' (different from the
'org-mobile.org' used by org-mobile) in my org-directory. On the next
org-mobile-push, this file got copied into my org-mobile-directory and
now shows up on my mobile (Android) device.

I then deleted the "from_mobile.org" from org-directory and executed
org-mobile-push again. However, the copy in org-mobile-directory
persists and (probably for that reason) also continues to show up on my
phone.

Why isn't org-mobile picking up that the file has been removed?

Thanks!
-Nikolaus

-- 
GPG encrypted emails preferred. Key id: 0xD113FCAC3C4E599F
Fingerprint: ED31 791B 2C5C 1613 AF38 8B8A D113 FCAC 3C4E 599F

             »Time flies like an arrow, fruit flies like a Banana.«