aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2024-03-19 08:08:36 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2024-03-19 08:08:36 +0200
commit78bb97e255c946f3235dfe7cb50487328e9d60e0 (patch)
tree3248b16161a642e7c9515da4d1266eba8150e6bc /.gitignore
parentb5a45516a82e36cd7be914cee11aa18791c7ee34 (diff)
Minor tweaks to auxiliary machines semantics in manual
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions