This repository has been archived on 2022-08-19. You can view files and clone it, but cannot push or open issues or pull requests.

Bruno Windels 025320b83e fix filtered map		2021-04-27 16:15:20 +02:00
..
ApplyMap.js	add 'get' method to common observable map api	2021-04-21 17:23:49 +02:00
BaseObservableMap.js	add 'get' method to common observable map api	2021-04-21 17:23:49 +02:00
FilteredMap.js	fix filtered map	2021-04-27 16:15:20 +02:00
JoinedMap.js	make dispose not fail	2021-04-22 17:18:07 +02:00
MappedMap.js	first round of fixes	2020-10-12 18:31:55 +02:00
ObservableMap.js	first draft of device tracker	2020-08-31 14:12:12 +02:00