git.reasoningtechnology.com Git

11 months ago	core_developer_branch	shortlog \| log \| tree
22 months ago	release_v1	shortlog \| log \| tree

Unnamed repository; edit this file 'description' to name the repository.