paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-19 22:19:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
e1660462e13f4b6b604acdbff1f76067a7522182
zulip/static/js/people.js
Steve Howell 6888255153 Add people.get_realm_user_ids(). 
This saves us from doing an unnecessary map() in
activity.js.
2017-10-08 12:01:59 -07:00

21 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink