[Tiptoi] Identifikationscode nachdrucken

[Joachim Breitner]

Hi,


Am Dienstag, dem 07.09.2021 um 20:53 +0200 schrieb cleracruza via
tiptoi:
> Hallo,
> 
> Am  7. September 2021 um 20:31:43 +0200 schrieb Ulrich Sibiller via tiptoi:
> > (@Joachim: ein set-oid-Kommando analog zu set-language wäre vllt. eine
> > hilfreiches Feature!).
> 
> Deswegen wär's cool, sowas auch im tttool zu haben :-)

Danke für den Vorschlag, habs zumindest mal notiert:
https://github.com/entropia/tip-toi-reveng/issues/256

Cheers,
Joachim
-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/