diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2019-10-29 13:18:38 +0100 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2019-10-29 13:18:38 +0100 |
| commit | 25bb3d131a96fee5ffb41017de7f4de87a65004c (patch) | |
| tree | c6d1f211acf8831e37a9b2a7867731f98477b8b4 /client | |
| parent | e020339b6e25001f8ec113a5f61a5f2832ad1945 (diff) | |
#816: Define a new shell parameter to know if client is defined as a teaching computer.
Diffstat (limited to 'client')
0 files changed, 0 insertions, 0 deletions