mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-09 19:35:51 +00:00
add a dump to convince ben that getProfileList is working again.
This commit is contained in:
parent
b44bbb25ee
commit
c6414cea39
@ -100,6 +100,8 @@ function loadElements()
|
||||
currProfile = profileList;
|
||||
}
|
||||
|
||||
dump("profile list = " + profileList + "\n");
|
||||
|
||||
// remove existing nodes...
|
||||
var profilekids = document.getElementById( "profilekids" );
|
||||
while( profilekids.hasChildNodes() )
|
||||
|
Loading…
Reference in New Issue
Block a user