Free cookie consent management tool by TermsFeed Policy Generator

Changeset 17755

Timestamp:
09/24/20 07:42:37 (5 years ago)
Author:
gkronber
Message:

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

(No files)

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