tree 577ce9072b7af98c6f3b1a24dee12a6f7f06c471
parent 2a58815ee3db47f55282a6661fe0b08034355990
author Davide Pesavento <davide.pesavento@lip6.fr> 1519102697 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> 1519180749 -0500

tools: alias 'nfdc cs' to 'nfdc cs info'

Change-Id: Ied1d34a84110ee0b6488d35d56fb1caecaf14117
Refs: #4498