Changeset 17755


Ignore:
Timestamp:
09/24/20 07:42:37 (16 months ago)
Author:
gkronber
Message:

#3083 use \text{} command for setting the target variable name.

File:
1 edited

Legend:

Unmodified
Added
Removed
Note: See TracChangeset for help on using the changeset viewer.