dot.signature--automata - .dotfiles.git - My personal dotfiles

about summary refs log tree commit diff

path: root/dot.signature--automata

blob: f58b4c572f731ce00ecb3b2d583617da885611a2 (plain) (blame)

1 2	`Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme) RWTH Aachen`