?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
history | raw | HEAD
Merge pull request #127 from DOCGroup/jwillemsen-patch-1
[MPC.git] / templates / ghslib.mpt
blob0ee069b8f89747b1e0f1195854fbb5a2fd86a519
1 // -*- MPC -*-
2 conditional_include "ghscommon"
3
4 conditional_include "user_ghslib"