diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-01-29 22:15:51 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-01-29 22:42:12 +0100 |
commit | eb9521d1b4ce7fd03651fd51688acadcae2d1a33 (patch) | |
tree | fecaf4efaa0c25ac339fcc81ea427f1480727704 /src | |
parent | e0588239d2d5d5f702696f651817170e952a1387 (diff) | |
download | cuirass-eb9521d1b4ce7fd03651fd51688acadcae2d1a33.tar cuirass-eb9521d1b4ce7fd03651fd51688acadcae2d1a33.tar.gz |
examples: Add 'random-jobs'.
* examples/random-jobs.scm, examples/random.scm: New files.
* Makefile.am (nobase_dist_pkgdata_DATA): Add them.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions