diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2022-07-08 19:29:17 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2022-07-08 19:29:17 +0200 |
| commit | 17bab8422795379a3cd40d6e5d0482e995a0d2f5 (patch) | |
| tree | 53b3f6186b242818433b09f4f1c46ef0dfce83c8 /docs/reference/summary.mmkin.html | |
| parent | f35e0b3d3b9f41bee2f5cc357afcb69e3aadad15 (diff) | |
Use inherits() instead of comparing class to string
Diffstat (limited to 'docs/reference/summary.mmkin.html')
0 files changed, 0 insertions, 0 deletions