Merge branch 'develop' into feature/hmc_generalise

This commit is contained in:
Guido Cossu committed 2017-05-01 12:13:56 +01:00
commit 3344788fa1
69 files changed
+3971 -3179

No files matched your search

+6
View File
@@ -0,0 +1,6 @@
#!/bin/bash
export LANG=C
find . -name "*.cc" -exec grep -H $@ {} \;
find . -name "*.h" -exec grep -H $@ {} \;