[yosys] branch doc-dev-debs-2 deleted (was eaf2a41)

[Sebastian Kuzminsky]

This is an automated email from the git hooks/post-receive script.

seb_kuzminsky-guest pushed a change to branch doc-dev-debs-2
in repository yosys.

       was  eaf2a41   yosys-doc: dont compress the pdf docs

This change permanently discards the following revisions:

  discards  eaf2a41   yosys-doc: dont compress the pdf docs
  discards  d62d44e   dch: update changelog
  discards  784b911   include ast.h in yosys-dev
  discards  adf9010   fail the deb build if any files didn't get installed
  discards  8bc7c19   yosys-dev: add .install and .manpages, move yosys-config from yosys to yosys-dev
  discards  e724433   add yosys-dev
  discards  9653e40   yosys: add .install file
  discards  bf126d2   add yosys-doc

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/yosys.git