Merge pull request #3387 from zjhmale/rename-sessions-file
rename Sessions.idr to Channels.idr
commit75ba6566cb0f230c68266bc994eccfc0ed0e042e
authorNiklas Larsson <metaniklas@gmail.com>
dateSat 27 Aug 2016, 23:31 (10 years ago)
parent037ea33d38f315
libs/base/System/Concurrency/Sessions.idr → libs/base/System/Concurrency/Channels.idrrenamed
The content is the same.