Erik Arvstedt 45d2a2dd91 tesseract: change file layout ... Rename default.nix -> tesseract3.nix Rename 4.x.nix -> tesseract4.nix This is needed for the following commits.		2018-12-19 18:07:39 +01:00
..
default.nix	tesseract: change file layout	2018-12-19 18:07:39 +01:00
tesseract3.nix	tesseract: change file layout	2018-12-19 18:07:39 +01:00
tesseract4.nix	tesseract: change file layout	2018-12-19 18:07:39 +01:00