6 Commits (82e754e1ecc45f975a33aaf4672fe012cdbc78d5)

Auteur SHA1 Bericht Datum
  kusum 8b0d85f535 Fixed issues with User ID variable in scripts 1 jaar geleden
  kusum 26c7685c54 Added script for EW lab 1 jaar geleden
  kusum 146b5f54f6 Added new script and lab files 1 jaar geleden
  Andrés Meseguer a0ecaa4801 cleanup 1 jaar geleden
  Andrés Meseguer 08dc2d716a Cleanup 1 jaar geleden
  kusum 185b1afec8 Separate property scripts for labs 1 jaar geleden