search

kaitai-io / kaitai-io.github.io

Kaitai Project homepage
6 stars 9 forks source link

Delete REPL tool #12

Closed generalmimon closed 4 years ago

generalmimon commented 4 years ago

as discussed at Gitter: https://gitter.im/kaitai_struct/Lobby?at=5ece72252c49c45f5aa616b6

generalmimon commented 4 years ago

Please note that also this header needs to be fixed at https://formats.kaitai.io/ and https://doc.kaitai.io/, which are, unfortunately, separate websites.

OK, thanks, I haven't realized that 🙂