Revision 2142
Creado el BookmarksAndHistoryManager y añadido a ResourcesStorage el metodo getResourceNames.
Files
- added
- modified
- copied
- renamed
- deleted
Added by Joaquín del Cerro Murciano about 4 years ago
Creado el BookmarksAndHistoryManager y añadido a ResourcesStorage el metodo getResourceNames.