manual/.gitignore - third_party/yosys - Git at Google


            
            *.aux

            
            *.bbl

            
            *.blg

            
            *.idx

            
            *.log

            
            *.out

            
            *.pdf

            
            *.toc

            
            *.snm

            
            *.nav

            
            *.vrb

            
            *.ok