pintos-os.org Git - pspp/search

2020-10-25	Ben Pfaff	mingw build works	commit \| commitdiff \| tree
2020-10-25	Ben Pfaff	build-pspp: Update for more parallelism and updated...	commit \| commitdiff \| tree
2020-09-05	Ben Pfaff	build-pspp: Also run check in parallel.	commit \| commitdiff \| tree
2020-09-05	Ben Pfaff	build-pspp: Use $(nproc) instead of fixed 10 processes.	commit \| commitdiff \| tree
2020-07-05	Ben Pfaff	Ignore spread-sheet-widget tarballs and signatures.	commit \| commitdiff \| tree
2020-07-05	Ben Pfaff	Convert build-pspp to Python 3.	commit \| commitdiff \| tree
2020-07-04	Ben Pfaff	Use spread-sheet-widget 0.4.	commit \| commitdiff \| tree
2020-06-27	Ben Pfaff	build-pspp: Update for spread-sheet-widget 0.3.	commit \| commitdiff \| tree
2017-09-17	Ben Pfaff	results2html: Declare character encoding for index...	commit \| commitdiff \| tree
2017-09-17	Ben Pfaff	Fixes for building spread-sheet-widget as part of the...	commit \| commitdiff \| tree
2014-02-13	Ben Pfaff	results2html: Add SHA-1 and SHA-256 to .tar.gz build...	commit \| commitdiff \| tree
2013-01-11	Ben Pfaff	Update gendocs templates from gnulib.	commit \| commitdiff \| tree
2013-01-11	Ben Pfaff	build-pspp: Do parallel build.	commit \| commitdiff \| tree
2013-01-11	Ben Pfaff	build-pspp: Use -I flag to newer gendocs.sh to copy...	commit \| commitdiff \| tree
2013-01-11	Ben Pfaff	gendocs.sh: Update from gnulib.	commit \| commitdiff \| tree
2011-02-25	Ben Pfaff	results2html: Properly encode output in UTF-8.	commit \| commitdiff \| tree
2010-03-26	Ben Pfaff	Add dist_dir to output variables.	commit \| commitdiff \| tree
2010-03-26	Ben Pfaff	build-pspp: Use ^0 to really verify commit number.	commit \| commitdiff \| tree

Unnamed repository; edit this file to name it for gitweb.

RSS Atom