1
0
mirror of https://github.com/gsi-upm/senpy synced 2024-11-24 17:12:29 +00:00
Commit Graph

4 Commits

Author SHA1 Message Date
J. Fernando Sánchez
c7091e6323 Force building before pushing 2018-06-18 17:53:01 +02:00
J. Fernando Sánchez
b15a0d7dbe Fix problems with echo and newlines
printf is more portable
2018-06-15 11:39:19 +02:00
J. Fernando Sánchez
62142482dc Updated makefiles from senpy-plugins-community 2018-06-15 09:22:46 +02:00
J. Fernando Sánchez
982baa04cf Add '.makefiles/' from commit 'a75ba6994d93ca027b6f3ba0b08b75dd60d3aa78'
git-subtree-dir: .makefiles
git-subtree-mainline: c52a894017
git-subtree-split: a75ba6994d
2018-06-14 19:54:41 +02:00