diff options
| author | Matteo Bernardini <ponce@slackbuilds.org> | 2016-08-01 17:32:29 +0200 |
|---|---|---|
| committer | David Spencer <idlemoor@slackbuilds.org> | 2016-08-05 18:10:53 +0100 |
| commit | 50d600c53709d6456d6e0d412e0ce77ef71fa88b (patch) | |
| tree | 7f7beba1943fc3f388129f21e66da1607b3d593f /development/spice-protocol | |
| parent | e12089d91bbd5f9d58bc87f5f1b0993304a524e1 (diff) | |
office/texmacs: Don't run stuff belonging to doinst.sh during make.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'development/spice-protocol')
0 files changed, 0 insertions, 0 deletions