fix inconsistency of resources_selected when resources were added/removed from googlemap
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 4 Oct 2013 13:44:51 +0000 (15:44 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 4 Oct 2013 13:44:51 +0000 (15:44 +0200)
turns out backslashes were getting removed from hrns, which confused the whole business


No differences found