Change photran repo location

Change-Id: If96c7e50db5871fafb99f8c5b1948c70028001e9
Signed-off-by: Greg Watson <g.watson@computer.org>
1 file changed
tree: 725a5ee463c48a6bd8343896e75ed3895c331e69
  1. core/
  2. debug/
  3. rdt/
  4. releng/
  5. rms/
  6. tools/
  7. .gitignore
  8. pom.xml