Change name of class cours_prof.

This commit is contained in:
Jeff Lance 2018-09-03 16:09:35 +02:00
parent e8d30abc7b
commit 3162af5cdb