matita.cs.unibo.it Git - projects in 'pkg-cerco'

]> matita.cs.unibo.it Git - projects in 'pkg-cerco'

Project	Description	Owner	Last Change
pkg-cerco/acc-trusted.git	Unnamed repository; edit this...	Enrico Tassi	11 years ago	summary \| shortlog \| log \| tree
pkg-cerco/acc.git	Unnamed repository; edit this...	Enrico Tassi	11 years ago	summary \| shortlog \| log \| tree
pkg-cerco/frama-c-cost-plugin.git	Unnamed repository; edit this...	Enrico Tassi	11 years ago	summary \| shortlog \| log \| tree