Commits · c6d8ddfc0f4de6849879a4d4ecd109f69275660c · Richard Marcus / www

Apr 06, 2018
- adding logos · e407209b
  Michael Kohlhase authored 7 years ago
  
  e407209b
- List projects and systems on people pages · d1f5b794
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  d1f5b794
Mar 22, 2018
- various fixes · 9fd88f26
  Michael Kohlhase authored 7 years ago
  
  9fd88f26
Feb 08, 2018
- typos · c28cb701
  Michael Kohlhase authored 7 years ago
  
  c28cb701
- publications for projects · 1343c32e
  Michael Kohlhase authored 7 years ago
  
  1343c32e
Jun 24, 2017
- Get project pages ready for deployment · 6494fe11
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  6494fe11
May 06, 2017
- reorg · 5e40be9f
  Michael Kohlhase authored 7 years ago
  
  5e40be9f
- more metadata · b01f226e
  Michael Kohlhase authored 7 years ago
  
  b01f226e
- more projects · dd6251e9
  Michael Kohlhase authored 7 years ago
  
  dd6251e9