aboutsummaryrefslogtreecommitdiff
path: root/etc/historical-authorizations
AgeCommit message (Expand)Author
2020-07-11Add 'etc/historical-authorizations'.Ludovic Courtès
generated by cgit
00'>2020-08-16gnu: gtkwave: Update to 3.3.106.Tobias Geerinckx-Rice 2020-08-11gnu: nextpnr-ice40: Sort inputs alphabetically.Efraim Flashner 2020-08-11gnu: nextpnr-ice40: Re-indent.Efraim Flashner 2020-08-11gnu: nextpnr-ice40: Update to 0.0.0-1.fbe486d.Malte Frank Gerdes 2020-07-12gnu: Remove ".git" from "https://github/…/….git".Ludovic Courtès 2020-05-20gnu: gtkwave: Update to 3.3.104.Tobias Geerinckx-Rice 2020-03-29gnu: nextpnr-ice40: Clean-up description.Efraim Flashner 2020-03-29gnu: nextpnr-ice40: Use a source file-name.Efraim Flashner 2020-03-28Update email address and Savannah handle for Amin Bandali.Amin Bandali 2020-03-22gnu: Add nextpnr-ice40.pinoaffe@airmail.cc 2020-03-22gnu: icestorm: Update to latest revision.pinoaffe@airmail.cc 2020-02-20gnu: fpga.scm: Use git-version and git-file-name where appropriate.Jakub Kądziołka